wenkokke / unlitLinks
Tool to convert literate code between styles or to code.
☆11Updated 6 years ago
Alternatives and similar repositories for unlit
Users that are interested in unlit are comparing it to the libraries listed below
Sorting:
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 7 months ago
- topos programming☆31Updated 7 years ago
- An efficient graph library for Haskell☆38Updated 2 months ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 8 years ago
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆34Updated 3 years ago
- Unpacked containers using backpack☆52Updated 5 years ago
- Agda-style equational reasoning in Haskell☆54Updated 6 months ago
- a library for experimental linear lambda calculus☆20Updated 2 years ago
- ☆45Updated 3 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- UI experiments for coda☆66Updated 4 years ago
- Haskell 2010 stream comonads☆24Updated 10 months ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆49Updated 10 months ago
- Austin's supercompiler work☆21Updated 5 years ago
- Various type-aligned sequence data structures.☆21Updated 4 years ago
- An embedded probabilistic programming language.☆34Updated 8 years ago
- A preprocessor for GHC for alternate Haskell syntaxes☆38Updated 10 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 7 years ago
- Pure Haskell implementation of SplitMix pseudo-random number generator☆25Updated last month
- A wiki based on firm theoretical foundations☆51Updated 9 years ago
- Ghosts of Departed Proofs☆61Updated 4 years ago
- Reification of data structures using observable sharing☆29Updated last year
- A hashing-based graph implementation in Haskell☆33Updated 7 years ago
- ☆30Updated 5 years ago
- your dynamic optimization buddy☆27Updated 6 years ago
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆21Updated 6 years ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆29Updated 11 months ago
- Classes for types where we know all the values☆39Updated 9 months ago
- Hopefully verifiable code generation in GHC☆94Updated 8 years ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Updated 3 years ago