Skip to content

@TheseusInstitute Theseus Institute

Change the repository type filter

All

    Repositories list

    9 repositories

    • z3.rs

      Public
      Rust bindings for the Z3 solver.
      Rust
      •115•0•0•0•Updated May 17, 2024May 17, 2024

    • nix-ml-override

      Public
      MLOverride enables modern Machine Learning in Nix
      machine-learningnix
      Nix
      •
      Apache License 2.0
      •0•2•0•0•Updated Apr 13, 2024Apr 13, 2024

    • schemars

      Public
      (PR-Tracking fork) Generate JSON Schema documents from Rust code
      Rust
      •
      MIT License
      •243•0•0•0•Updated Mar 16, 2024Mar 16, 2024

    • bitsandbytes

      Public
      8-bit CUDA functions for PyTorch
      Python
      •
      MIT License
      •652•0•0•0•Updated Jan 1, 2024Jan 1, 2024

    • llama.cpp

      Public
      Port of Facebook's LLaMA model in C/C++
      C
      •
      MIT License
      •10k•0•0•0•Updated Dec 10, 2023Dec 10, 2023

    • poetry2nix

      Public
      Convert poetry projects to nix automagically [maintainer=@adisbladis]
      Nix
      •
      MIT License
      •453•1•0•0•Updated Nov 29, 2023Nov 29, 2023

    • z-data

      Public
      array, slices and text
      Haskell
      •
      Other
      •11•0•0•0•Updated Nov 29, 2023Nov 29, 2023

    • langstream

      Public
      Build robust LLM applications with true composability
      Python
      •
      MIT License
      •28•0•0•0•Updated Sep 22, 2023Sep 22, 2023

    • nix-exllama

      Public
      Nix derivation for EXLlama
      machine-learningnixllm
      Nix
      •
      MIT License
      •0•1•0•0•Updated Jul 14, 2023Jul 14, 2023