-
liquid-fixpoint Public
Forked from ucsd-progsys/liquid-fixpointHorn Clause Constraint Solving for Liquid Types
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJul 5, 2026 -
tock Public
Forked from PLSysSec/tockA secure embedded operating system for microcontrollers
Rust Other UpdatedApr 29, 2026 -
flux-demo Public
Forked from flux-rs/flux-demoSmall examples that demonstrate how flux works
Rust MIT License UpdatedMar 15, 2026 -
-
flux-examples Public
Forked from flux-rs/examplesSome simple snippets illustrating possible use-cases
Rust MIT License UpdatedDec 19, 2025 -
flux-ring-buffer Public
The ring buffer from https://github.com/PLSysSec/tock
Rust UpdatedOct 11, 2025 -
-
-
cc-lemma Public
Refreshing automation for inductive equational proofs using e-graphs
-
cyclegg Public
Forked from nadia-polikarpova/cycleggCyclic theorem prover for equalitional reasoning using egraphs
-
catalyst Public
Forked from PennyLaneAI/catalystA JIT compiler for hybrid quantum programs in PennyLane
Python Apache License 2.0 UpdatedMar 5, 2024 -
hipspec Public
Forked from danr/hipspecA hip inductive theorem prover!
Haskell GNU General Public License v3.0 UpdatedFeb 26, 2024 -
cse-130-wi24 Public
Forked from ucsd-cse130/wi24Public course materials for UCSD CSE 130 Programming Languages (Wi 2024)
Haskell MIT License UpdatedJan 9, 2024 -
egg Public
Forked from egraphs-good/eggegg is a flexible, high-performance e-graph library
Rust MIT License UpdatedOct 7, 2023 -
elsa Public
Forked from ucsd-progsys/elsaElsa is a lambda calculus evaluator
Haskell MIT License UpdatedOct 5, 2023 -
zeno Public
The Zeno theorem prover modified to compile on modern GHC versions
Haskell MIT License UpdatedSep 22, 2023 -
extraction-gym Public
Forked from egraphs-good/extraction-gymbenchmarking e-graph extraction
-
-
-
flux-snapshot Public
Takes a snapshot (git commit) whenever you run flux
Python UpdatedApr 21, 2023 -
-
tiny-games-hs Public
Forked from haskell-game/tiny-games-hsHaskell Tiny Game Jam
Haskell UpdatedFeb 28, 2023 -
-
stlc-liquidhaskell Public
Extension of STLC provided in liquidhaskell examples
Haskell UpdatedSep 15, 2022 -
-
-
-
tyro Public
Toy language for a bidirectional type checking of a row polymorphic lambda calculus
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJul 24, 2020 -
semantic Public
Forked from github/semanticParsing, analyzing, and comparing source code across many languages
Haskell MIT License UpdatedJul 6, 2019 -
syntax-cls Public
Classfile for writing syntax papers (and general linguistic papers)
{{ message }}