conal / FranLinks
First Haskell implementations of Fran/FRP
☆34Updated 6 years ago
Alternatives and similar repositories for Fran
Users that are interested in Fran are comparing it to the libraries listed below
Sorting:
- FRP library☆63Updated 7 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 7 years ago
- An implementation of miniKanren in Haskell☆78Updated 12 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- GRIN backend for Idris☆50Updated 5 years ago
- Elaborate and expressive S-Expression library for Haskell☆63Updated last year
- Provides a type-safe way of working with permutations in Idris☆37Updated 3 years ago
- A drawing engine in Haskell☆142Updated 4 years ago
- A library for composable and effectful production, transformation and consumption of streams of data in Idris☆37Updated 7 years ago
- Reification of data structures using observable sharing☆29Updated 11 months ago
- A Haskell API into HTML5 Canvas☆72Updated 4 months ago
- ALGT 2.0☆30Updated 5 years ago
- Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.☆67Updated 2 years ago
- Demonstrating comonad transformers.☆37Updated 8 years ago
- Agda-style equational reasoning in Haskell☆54Updated 5 months ago
- A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs☆77Updated 3 years ago
- Declarative graphics for the browser☆54Updated 5 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆124Updated last year
- Lens interface for your filesystem☆22Updated 4 years ago
- Type-safe effectful state machines in Haskell☆96Updated 5 years ago
- A git-compatible content tracker in Haskell.☆67Updated 5 years ago
- Tactic Metaprogramming in Haskell☆56Updated 6 years ago
- The compilation target that functional programmers always wanted.☆62Updated 5 years ago
- An experiment in functional interface design☆24Updated 8 years ago
- Free Algebras in Haskell☆37Updated last year
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆12Updated 5 months ago
- Invertible parsing for S-expressions☆34Updated 5 months ago
- Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.☆53Updated 2 years ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated 2 weeks ago
- A wiki based on firm theoretical foundations☆51Updated 9 years ago