storm-framework / storm
Static security for database-backed Haskell applications using Liquid Haskell
☆18Updated 10 months ago
Alternatives and similar repositories for storm:
Users that are interested in storm are comparing it to the libraries listed below
- Efficient effect handlers based on Evidence Passing Semantics.☆28Updated 4 years ago
- Low-overhead effect management for concrete monads☆37Updated 3 years ago
- A TOML parser for Idris 2☆17Updated 10 months ago
- Session types in Idris2!☆27Updated 4 years ago
- Derivation of Optimized Definitions Based on Specs☆15Updated 5 years ago
- Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais☆26Updated 6 years ago
- Haskell bindings to Chez Scheme☆10Updated last year
- Graded Dependent Type systems☆24Updated last year
- semirings and *-semirings of types in base/haskell-platform☆42Updated 11 months ago
- A very simple interface for incremental computation using STM in Haskell.☆13Updated 2 years ago
- OCaml backend for Idris2☆19Updated 4 years ago
- A Haskell to Coq compiler that represents effectful programs with the free monad☆44Updated 2 years ago
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficien…☆43Updated 5 years ago
- Fast higher-order effect handlers with evidence passing☆20Updated last year
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated 10 months ago
- Paper and talk☆53Updated last year
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆68Updated 2 weeks ago
- A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml☆38Updated 5 years ago
- Implementation of an efficient thread-safe global Symbol Table, with garbage collection☆19Updated last month
- Haskell monad transformer for weighted, non-deterministic computation☆30Updated 3 months ago
- Formalization of the polymorphic lambda calculus and its parametricity theorem☆34Updated last month
- APIs for more recursive definitions☆19Updated 6 months ago
- ☆16Updated 2 months ago
- A simple implementation of linear type theory☆38Updated 8 years ago
- Constructive Galois connections☆32Updated 7 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆39Updated 4 years ago
- Classical Logic in Haskell☆24Updated last month