Skip to content
Change the repository type filter

All

    Repositories list

    • This is the artifact for the paper "The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation" by Charles Yuan and Michael Carbin. It contains the sources for the Spire compiler, the benchmark programs and circuits used in the paper, and the evaluation package.
      OCaml
      1300Updated Oct 28, 2024Oct 28, 2024
    • siren

      Public
      Python
      MIT License
      0000Updated Oct 15, 2024Oct 15, 2024
    • FastChat

      Public
      An open platform for training, serving, and evaluating large language models. Release repo for Vicuna and Chatbot Arena.
      Python
      Apache License 2.0
      4.5k000Updated May 18, 2024May 18, 2024
    • sot

      Public
      [ICLR 2024] Skeleton-of-Thought: Large Language Models Can Do Parallel Decoding
      Python
      MIT License
      15100Updated May 2, 2024May 2, 2024
    • sglang

      Public
      SGLang is a structured generation language designed for large language models (LLMs). It makes your interaction with models faster and more controllable.
      Python
      Apache License 2.0
      465100Updated Apr 11, 2024Apr 11, 2024
    • OCaml
      MIT License
      0900Updated Feb 7, 2024Feb 7, 2024
    • Quantum Control Machine
      OCaml
      MIT License
      0300Updated Jan 2, 2024Jan 2, 2024
    • ProbZelus is a library to extends the synchronous programming language Zelus with probabilistic programming.
      OCaml
      Apache License 2.0
      11000Updated Aug 15, 2023Aug 15, 2023
    • Python
      3100Updated Aug 7, 2023Aug 7, 2023
    • smooth

      Public
      An arbitrary-precision differentiable programming language.
      Haskell
      BSD 3-Clause "New" or "Revised" License
      63410Updated Jul 7, 2023Jul 7, 2023
    • A probabilistic programming language for streaming inference
      Haskell
      BSD 3-Clause "New" or "Revised" License
      0701Updated Apr 14, 2023Apr 14, 2023
    • OCaml
      Apache License 2.0
      0100Updated Sep 22, 2022Sep 22, 2022
    • Code for the paper "On the (In)Tractability of Reinforcement Learning for LTL Objectives"
      Jupyter Notebook
      0000Updated Jan 13, 2022Jan 13, 2022
    • C
      1000Updated Jan 13, 2022Jan 13, 2022
    • Python
      0200Updated Dec 12, 2021Dec 12, 2021
    • latexpp

      Public
      Latex preprocessor — apply macro definitions, remove comments, and more
      Python
      MIT License
      1000Updated Nov 26, 2021Nov 26, 2021
    • POPL'22 Artifact for "Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs".
      OCaml
      MIT License
      74110Updated Nov 16, 2021Nov 16, 2021
    • OCaml
      MIT License
      0100Updated Sep 15, 2021Sep 15, 2021
    • polyppl

      Public
      A cleaned code repo for #polyppl
      Python
      0000Updated Feb 16, 2021Feb 16, 2021
    • simple_rl

      Public
      A simple framework for experimenting with Reinforcement Learning in Python.
      Python
      Apache License 2.0
      95000Updated Jan 17, 2021Jan 17, 2021
    • GLPK, but it's Python.
      C
      GNU General Public License v3.0
      5000Updated Nov 30, 2020Nov 30, 2020
    • Rendered math (MathJax) with Slack's desktop client
      Python
      MIT License
      63000Updated Sep 11, 2020Sep 11, 2020
    • Sensitivities for Guiding Refinement in Arbitrary-Precision Arithmetic
      Python
      0100Updated Jun 2, 2020Jun 2, 2020
    • marshall

      Public
      Our modifications of the Marshall language for exact real arithmetic and examples
      OCaml
      BSD 2-Clause "Simplified" License
      07140Updated Jun 25, 2019Jun 25, 2019
    • C
      0000Updated Jun 23, 2019Jun 23, 2019
    • A library for probabilistic programming in Haskell.
      Haskell
      MIT License
      62000Updated May 20, 2019May 20, 2019
    • leto

      Public
      C++
      MIT License
      0000Updated Sep 25, 2018Sep 25, 2018
    • 0000Updated Sep 11, 2018Sep 11, 2018
    • A modified version of Marshall with nondeterminism, partiality, and pattern matching
      OCaml
      BSD 2-Clause "Simplified" License
      0100Updated Apr 23, 2018Apr 23, 2018