silky / super-referenceLinks
Web-based reference manager, written in Haskell.
☆30Updated 9 years ago
Alternatives and similar repositories for super-reference
Users that are interested in super-reference are comparing it to the libraries listed below
Sorting:
- Programming with LVars, by example☆36Updated 10 years ago
- A semantically unified SQL and NoSQL query and update system☆18Updated 6 years ago
- Auto-parallelizing Pure Functional Language☆27Updated 6 years ago
- Model of baysig language in Haskell (minus estimate)☆15Updated 9 years ago
- Clojure transducers in a typed setting, in Haskell☆56Updated 10 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- Lenses and Traversals for Aeson, based on Microlens.☆14Updated 3 weeks ago
- A wiki based on firm theoretical foundations☆51Updated 9 years ago
- Cloud Haskell - Asynchronous Execution☆18Updated last year
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 10 years ago
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆46Updated 6 years ago
- An experimental native Haskell graph database☆62Updated 7 years ago
- A simple implementation of the algebra of pictures in Haskell outlined in Peter Henderson's "Functional Geometry".☆26Updated 8 years ago
- DIY Markov Chains.☆25Updated last year
- A game about exponential growth written in Haskell☆31Updated 9 years ago
- machine fusion☆16Updated 7 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 7 years ago
- Brent's PhD thesis.☆69Updated 9 years ago
- Elaborate and expressive S-Expression library for Haskell☆65Updated last year
- Invertible parsing for S-expressions☆34Updated 8 months ago
- A step-by-step MicroKanren evaluator☆29Updated 9 years ago
- A simple text editor written in Haskell with Brick☆13Updated 6 years ago
- Agda-style equational reasoning in Haskell☆54Updated 8 months ago
- ☆23Updated 8 years ago
- So, you want to write a DSL interpreter...☆25Updated 7 years ago
- The LVish Haskell library☆80Updated 3 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 9 years ago
- QFeldspar: a QDSL front-end for MiniFeldspar☆14Updated 10 years ago
- Obsidian Language Repository☆41Updated 7 years ago
- All the Transient libraries☆43Updated last week