mstone / souteiLinks
a logic-based trust-management system
☆19Updated 12 years ago
Alternatives and similar repositories for soutei
Users that are interested in soutei are comparing it to the libraries listed below
Sorting:
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆28Updated 6 months ago
- GHC patched with the -fcompact-holes flag☆11Updated 6 years ago
- Dependently typed elimination functions using singletons☆28Updated 5 months ago
- A compiler for a strongly typed, haskell-like functional language☆22Updated 7 years ago
- Lens interface for your filesystem☆22Updated 4 years ago
- ☆17Updated 2 years ago
- Miscellaneous constructions on monoids☆22Updated last month
- More strongly typed variant of the ixset Haskell package☆24Updated 10 months ago
- Haskell: Efficiently build a bytestring from smaller chunks☆24Updated 2 years ago
- Hakyll support for Agda literate files☆19Updated 3 years ago
- A hashing-based graph implementation in Haskell☆33Updated 6 years ago
- Dump GHC's abstract syntax trees☆41Updated 3 years ago
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Updated 8 years ago
- ☆23Updated 7 years ago
- ☆23Updated 7 years ago
- Reification of data structures using observable sharing☆29Updated 7 months ago
- Haskell combinators for executing IO actions in parallel on a thread pool☆47Updated 2 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 7 years ago
- Haskell routes using dependent types☆10Updated 8 years ago
- Dependently typed Algorithm M and friends☆25Updated 7 years ago
- Quiver stream processing library☆15Updated 8 years ago
- Austin's supercompiler work☆21Updated 5 years ago
- A constant-memory approximation of set membership☆25Updated 4 months ago
- A Haskell code formatter using prettyprinter and the GHC API☆24Updated 6 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- A monadic interface for DAG construction.☆24Updated 4 years ago
- Run lifted IO operations asynchronously and wait for their results☆29Updated 7 months ago
- Measure time complexity empirically.☆48Updated 9 years ago
- Transactional cache with configurable persistence☆46Updated 2 years ago
- Authenticated Data Structures☆16Updated 9 years ago