Lists (2)
Starred repositories
ARchitect helps non-technical users create Automated Reasoning policies from their document
A Git-compatible VCS that is both simple and powerful
💻 A fully functional local AWS cloud stack. Develop and test your cloud & Serverless apps offline
Optimizing inference proxy for LLMs
https://conf.researchr.org/details/icfp-splash-2025/icfp-splash-2025-tutorials/5/A-guided-tour-through-Oxidized-OCaml
SATyros, small SAT/SMT sovler library for step-by-step solving
The Outside-In paper from ICFP 2009 and (subsequently) JFP
A list of benchmark suites used in the research related to compilers, program performance, scientific computations etc.
A Primitive Compiler from λ-calculus + α based on CBPV
Shoelace is now Web Awesome. Come see what’s new!
Generator of runtime monitors for flight and robotics applications.
Unified developer tools for JavaScript, TypeScript, and the web
A data-driven micro web framework for Haskell
Support functions to work with GHC's Type.Reflection, including pretty-printing.
a throwaway implementation of normalization by evaluation
A Lambda expression compiler targeting web assembly.
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
Tie allows generation of Haskell server stubs from OpenAPI (v 3.x) specifications.
High-velocity, monorepo-scale workflow for Git
TimeMap instance for Civilian Harm in Ukraine