ninegua / reduxerLinks
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:
- Low-overhead effect management for concrete monads☆37Updated 3 years ago
- High level, generic library for interrogative user interfaces in Haskell☆41Updated 4 years ago
- 🔖 Better Haskell documentation.☆17Updated 4 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆17Updated 6 years ago
- Tasty meal of Dhall☆66Updated last year
- A compiler for a simple language using llvm☆35Updated 2 years ago
- Template for Hindley-Milner based languages☆39Updated 3 years ago
- A simple, purely-functional programming language☆25Updated 3 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Core modules for a blazing fast markup combinator library☆22Updated last month
- Dhall-configured inductive API definitions☆24Updated 5 years ago
- ☆20Updated 6 years ago
- Deep evaluation of data structures☆41Updated last month
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Updated 2 years ago
- A very simple interface for incremental computation using STM in Haskell.☆13Updated 2 years ago
- An attempt to reimagine knowledge interaction.☆18Updated 4 years ago
- https://mitchellwrosen.github.io/haskell-papers☆22Updated 6 years ago
- Dhall helpers for github actions☆54Updated last year
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago
- A copy of Daan Leijen's reference implementation of HMF (type inference)☆18Updated 9 years ago
- Property based testing for Servant using Hedgehog☆19Updated 4 years ago
- Load environment variables from .env☆19Updated last year
- Run lifted IO operations asynchronously and wait for their results☆29Updated 8 months ago
- A Haskell monad transformer library for data validation☆36Updated last year
- An mtl-style typeclass and transformer for persistent☆11Updated 6 years ago
- semirings and *-semirings of types in base/haskell-platform☆42Updated last year
- Quasiquoter for LLVM