oisdk / siteLinks
Source code for doisinkidney.com
☆14Updated last month
Alternatives and similar repositories for site
Users that are interested in site are comparing it to the libraries listed below
Sorting:
- Backtracking monad in Haskell☆14Updated 3 years ago
- Simple reflection of expressions☆33Updated 3 years ago
- A toy Parser+Compiler+Typechecker☆12Updated 2 years ago
- Types representing line and column positions and ranges in text files☆11Updated last year
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- Haskell types and parsers for software version numbers.☆21Updated 4 months ago
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆21Updated 5 years ago
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆13Updated 7 months ago
- Manage Nix Haskell override sets☆11Updated 6 years ago
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Updated 5 years ago
- A fuzzy string set implementation in Haskell.☆10Updated last year
- It's Data.Graph, but it doesn't suck!☆16Updated 4 years ago
- Dependent hash maps☆14Updated 2 months ago
- My personal web site☆17Updated 2 months ago
- Dependently typed Algorithm M and friends☆25Updated 7 years ago
- the dynabook but for haskell☆23Updated 5 years ago
- The Hadrian build system for GHC☆9Updated 6 years ago
- Advent of code 2017 ... ho' ho' ho', so much code' code' code', merry christmas!☆8Updated 7 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 7 months ago
- 👁️ Isometric 3D Graphing / Rendering module for Haskell☆15Updated 7 years ago
- Web front UI for interactive Haskell projects☆33Updated 5 years ago
- 🌋 Idris implementation of patricia tree☆22Updated 4 years ago
- Lens interface for your filesystem☆22Updated 4 years ago
- The paper "GADTs meet their match" and related materials☆10Updated 5 years ago
- Computing lenses generically using generics-sop☆16Updated 7 months ago
- Dependently typed elimination functions using singletons☆28Updated 5 months ago
- lazy generators with observation☆14Updated last year
- Lambda Calculus with quote and unquote☆19Updated 4 years ago
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Updated 6 years ago
- Visualization of Haskell data structures☆16Updated last year