Skip to content

@psg-mit psg-mit

Change the repository type filter

All

    Repositories list

    29 repositories

    • spire-artifact

      Public
      PLDI'24 Artifact for "The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation".
      OCaml
      •
      MIT License
      •1•3•0•0•Updated Dec 13, 2024Dec 13, 2024

    • siren

      Public
      Siren is a first-order functional probabilistic programming language, implemented with the hybrid inference interface, with support for inference plans. Distributions encoding annotations can be added to random variables to select the representation of the variable's distribution to be used during inference.
      Python
      •
      MIT License
      •0•0•0•0•Updated 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.6k•0•0•0•Updated May 18, 2024May 18, 2024

    • sot

      Public
      [ICLR 2024] Skeleton-of-Thought: Large Language Models Can Do Parallel Decoding
      Python
      •
      MIT License
      •17•1•0•0•Updated 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
      •585•1•0•0•Updated Apr 11, 2024Apr 11, 2024

    • tower-oopsla22

      Public
      OOPSLA'22 Artifact for "Tower: Data Structures in Quantum Superposition".
      OCaml
      •
      MIT License
      •1•11•0•0•Updated Feb 7, 2024Feb 7, 2024

    • qcm-artifact

      Public
      OOPSLA'24 Artifact for "Quantum Control Machine: The Limits of Control Flow in Quantum Programming".
      OCaml
      •
      MIT License
      •0•5•0•0•Updated Jan 2, 2024Jan 2, 2024

    • probzelus-ci

      Public
      ProbZelus is a library to extends the synchronous programming language Zelus with probabilistic programming.
      OCaml
      •
      Apache License 2.0
      •11•0•0•0•Updated Aug 15, 2023Aug 15, 2023

    • llm-random-number-gen

      Public
      Python
      •3•1•0•0•Updated Aug 7, 2023Aug 7, 2023

    • smooth

      Public
      An arbitrary-precision differentiable programming language.
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •6•34•1•0•Updated Jul 7, 2023Jul 7, 2023

    • probzelus-haskell

      Public
      A probabilistic programming language for streaming inference
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•7•0•1•Updated Apr 14, 2023Apr 14, 2023

    • semi-symbolic-probzelus

      Public
      OCaml
      •
      Apache License 2.0
      •0•1•0•0•Updated Sep 22, 2022Sep 22, 2022

    • rl_ltl_sample_complexity

      Public
      Code for the paper "On the (In)Tractability of Reinforcement Learning for LTL Objectives"
      Jupyter Notebook
      •0•0•0•0•Updated Jan 13, 2022Jan 13, 2022

    • mungojerrie

      Public
      Customized https://plv.colorado.edu/wwwmungojerrie/
      C
      •1•0•0•0•Updated Jan 13, 2022Jan 13, 2022

    • programming-with-neural-surrogates-of-programs

      Public
      Python
      •0•2•0•0•Updated Dec 12, 2021Dec 12, 2021

    • latexpp

      Public
      Latex preprocessor — apply macro definitions, remove comments, and more
      Python
      •
      MIT License
      •1•0•0•0•Updated Nov 26, 2021Nov 26, 2021

    • twist-popl22

      Public
      POPL'22 Artifact for "Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs".
      OCaml
      •
      MIT License
      •7•43•1•0•Updated Nov 16, 2021Nov 16, 2021

    • probzelus-oopsla21

      Public
      OCaml
      •
      MIT License
      •0•1•0•0•Updated Sep 15, 2021Sep 15, 2021

    • polyppl

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

    • simple_rl

      Public
      A simple framework for experimenting with Reinforcement Learning in Python.
      Python
      •
      Apache License 2.0
      •98•0•0•0•Updated Jan 17, 2021Jan 17, 2021

    • scikit-glpk

      Public
      GLPK, but it's Python.
      C
      •
      GNU General Public License v3.0
      •5•0•0•0•Updated Nov 30, 2020Nov 30, 2020

    • math-with-slack

      Public
      Rendered math (MathJax) with Slack's desktop client
      Python
      •
      MIT License
      •63•0•0•0•Updated Sep 11, 2020Sep 11, 2020

    • fast_reals

      Public
      Sensitivities for Guiding Refinement in Arbitrary-Precision Arithmetic
      Python
      •0•1•0•0•Updated 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
      •0•7•14•0•Updated Jun 25, 2019Jun 25, 2019

    • bb-dataset

      Public
      C
      •0•0•0•0•Updated Jun 23, 2019Jun 23, 2019

    • monad-bayes

      Public
      A library for probabilistic programming in Haskell.
      Haskell
      •
      MIT License
      •62•0•0•0•Updated May 20, 2019May 20, 2019

    • leto

      Public
      C++
      •
      MIT License
      •0•0•0•0•Updated Sep 25, 2018Sep 25, 2018

    • research-seminar

      Public
      0•0•0•0•Updated Sep 11, 2018Sep 11, 2018

    • marshall-lics

      Public
      A modified version of Marshall with nondeterminism, partiality, and pattern matching
      OCaml
      •
      BSD 2-Clause "Simplified" License
      •0•1•0•0•Updated Apr 23, 2018Apr 23, 2018