Lists (1)
Stars
ShellCheck, a static analysis tool for shell scripts
💥💻💥 A data-parallel functional programming language
A programming language with static memory management based on λ-calculus
A stream-based runtime-verification framework for generating hard real-time C code.
Minimal implementations for dependent type checking and elaboration
Crucible is a library for symbolic simulation of imperative programs
🌀 Safe, performant, user-friendly and lightweight Haskell standard library
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
A multi-syntax functional programming language that compiles to WebAssembly.
A demo implementation of a simple dependently-typed language
Experimental implementation of Cubical Type Theory
Generator of runtime monitors for flight and robotics applications.
A user-centric visual STG implementation to help understand GHC/Haskell's execution model.
A Programming Language for Deep Learning
Domain-Specific Languages of Mathematics
A fast functional language based on two level type theory
Parsing all context-free grammars using Earley's algorithm in Haskell.
A reference library for constraint-solving with propagators and CDCL.
A simple expressions language with polymorphic extensible row types.
A simple library for reporting compiler/interpreter errors
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
A small implementation of higher-order unification