esoeylemez / netwire
FRP library
☆60Updated 6 years ago
Alternatives and similar repositories for netwire:
Users that are interested in netwire are comparing it to the libraries listed below
- Haskell: Supercharged anonymous records☆83Updated 2 years ago
- base library for GHCJS for JavaScript interaction and marshalling, used by higher level libraries like JSC☆45Updated 7 months ago
- JavaScript interface that works with GHCJS or GHC☆119Updated 2 months ago
- Recursion schemes for Idris☆64Updated 6 years ago
- ☆92Updated 9 months ago
- FRP library☆40Updated 6 years ago
- ☆110Updated 11 months ago
- Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.☆53Updated last year
- Dual Traversable☆42Updated last year
- type level sets☆67Updated 5 years ago
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 6 years ago
- do-notation for Category and "Arrow without arr"☆63Updated 7 years ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆36Updated 4 years ago
- Implement monads by specifying instructions and their desired operational semantics.☆82Updated 7 months ago
- First-class type families☆87Updated 4 months ago
- Rapid prototyping with GHCi☆55Updated 6 years ago
- Documentation for Concur☆65Updated 7 months ago
- Dependently-typed finite maps (partial dependent products)☆65Updated 7 months ago
- Elaborate and expressive S-Expression library for Haskell☆61Updated 6 months ago
- A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.☆69Updated 3 months ago
- Demonstrating comonad transformers.☆36Updated 8 years ago
- A magic typeclass that just does it☆124Updated 2 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 5 months ago
- JHC Haskell compiler split into reusable components☆57Updated 6 years ago
- A PureScript interpreter in Haskell☆119Updated 2 years ago
- Secure WebSocket (WSS) clients in Haskell.☆69Updated last month
- Continuously varying values, made easy :)☆40Updated 5 years ago
- Benchmarks for sequence data structures: lists, vectors, etc.☆88Updated 3 years ago