ninegua / reduxer
An interactive beta reduction calculator for lambda calculus
☆11Updated 7 years ago
Alternatives and similar repositories for reduxer
Users that are interested in reduxer are comparing it to the libraries listed below
Sorting:
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆17Updated 6 years ago
- Template for Hindley-Milner based languages☆39Updated 3 years ago
- Run lifted IO operations asynchronously and wait for their results☆29Updated 6 months ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- An alternative to ghc --make which supports parallel compilation of modules and runs faster when nothing needs compiling.☆40Updated 3 years ago
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆18Updated 8 years ago
- More strongly typed variant of the ixset Haskell package☆24Updated 9 months ago
- Transactional cache with configurable persistence☆46Updated 2 years ago
- ☆20Updated 6 years ago
- Management and Distribution of Secret Credentials☆23Updated 8 years ago
- ☆44Updated 2 months ago
- Reification of data structures using observable sharing☆29Updated 6 months ago
- Haskell implementation of ULIDs (Unique Lexicographically Sortable Identifiers)☆33Updated 3 months ago
- Generate and apply diffs between JSON documents.☆39Updated 2 years ago
- An extension to Data.Serialize with built-in version control☆59Updated 2 months ago
- Minimizing Haskell programs for easier debugging of GHC compiler crashes☆22Updated 3 years ago
- Robust prettyprinter for output of auto-generated Show instances☆17Updated 5 years ago
- ICFP 2019 preprints/papers☆44Updated 5 years ago
- Deep evaluation of data structures☆41Updated 8 months ago
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Updated 4 years ago
- Dhall-configured inductive API definitions☆24Updated 5 years ago
- An mtl-style typeclass and transformer for persistent☆11Updated 6 years ago
- High level, generic library for interrogative user interfaces in Haskell☆41Updated 3 years ago
- A compiler for a simple language using llvm☆35Updated last year
- Haskell Join-calculus DSL☆23Updated 6 years ago
- Haskell bindings to libsystemd-journal☆21Updated last month
- QuadTree library for Haskell, using lenses.☆15Updated 7 years ago
- Constraint-based generics☆49Updated last year
- Safe web routing in haskell☆30Updated 2 years ago
- Type Theory with Indexed Equality☆25Updated 8 years ago