rudymatela / express
Dynamically-typed Haskell expressions involving applications and variables.
☆22Updated last month
Alternatives and similar repositories for express:
Users that are interested in express are comparing it to the libraries listed below
- Dependent hash maps☆14Updated 9 months ago
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆17Updated last month
- Non-empty Vectors☆24Updated 2 months ago
- Funny little Haskell impl☆18Updated 4 years ago
- Run lifted IO operations asynchronously and wait for their results☆28Updated 4 months ago
- open union and open product types in Haskell☆32Updated 4 years ago
- LibSSH2 FFI bindings for Haskell☆26Updated last month
- Linear map categories in Agda☆5Updated last year
- Property based testing for Servant using Hedgehog☆19Updated 3 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- Session types in Idris2!☆27Updated 4 years ago
- ☆18Updated 3 years ago
- Typeclass for array types☆19Updated 10 months ago
- Types representing line and column positions and ranges in text files☆11Updated last year
- Backtracking monad in Haskell☆14Updated 3 years ago
- Dependently typed elimination functions using singletons☆28Updated 2 months ago
- Materials for 2-hr LiquidHaskell Workshop☆11Updated 3 years ago
- Closure calculus implementation☆12Updated 5 years ago
- Benchmarks using the non-moving incremental GHC garbage collector☆22Updated 5 years ago
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆18Updated 7 years ago
- A usable type system for call by push-value☆33Updated 5 years ago
- Deep evaluation of data structures☆41Updated 6 months ago
- van Laarhoven lenses for Idris☆20Updated 7 years ago
- Interpreter for functional pure type systems.☆21Updated 7 years ago
- fast utf-8 character sets☆13Updated last week
- ☆16Updated 3 years ago
- More strongly typed variant of the ixset Haskell package☆24Updated 7 months ago
- ☆23Updated 7 years ago
- higher-kinded data☆30Updated last year
- "Programs that explain their effects" talk material☆17Updated 6 years ago