tsurucapital / euphoria
Dynamic network FRP with events and continuous values
☆53Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for euphoria
- Transactional cache with configurable persistence☆48Updated last year
- Quiver stream processing library☆15Updated 8 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 7 months ago
- Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.☆27Updated 3 weeks ago
- mtl friendly exceptions☆49Updated 3 weeks ago
- Safe, programmable, speculative evaluation for Haskell☆30Updated 6 years ago
- Deep evaluation of data structures☆41Updated 2 months ago
- lazy promises☆27Updated 3 years ago
- A small in-terminal dungeon crawler written in Haskell☆11Updated 6 years ago
- Safe web routing in haskell☆30Updated last year
- Haskell library for efficiently building up buffers☆26Updated 3 months ago
- Benchmarks using the non-moving incremental GHC garbage collector☆22Updated 5 years ago
- Reification of data structures using observable sharing☆28Updated 3 weeks ago
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago
- phantom types☆37Updated 2 months ago
- A faster date and time library based on time☆46Updated last year
- A GHC type checker plugin for row types☆39Updated 7 years ago
- Haskell combinators for executing IO actions in parallel on a thread pool☆47Updated last year
- The most complete prelude formed only from the "base" package☆28Updated last year
- van Laarhoven lenses for Idris☆20Updated 7 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- An implementation of the Core language☆29Updated 9 years ago
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Updated 5 years ago
- ☆23Updated 7 years ago
- Zippers based on lenses and traversals☆38Updated last year
- Dependently typed elimination functions using singletons☆28Updated 3 weeks ago
- ☆44Updated 2 months ago
- deprecated in favor of -XQualifiedDo☆41Updated 3 years ago
- High-performance JSON parser☆24Updated 7 months ago