jameshaydon / uk-passportLinks
Solving UKPassportApplication with Haskell
☆20Updated 3 months ago
Alternatives and similar repositories for uk-passport
Users that are interested in uk-passport are comparing it to the libraries listed below
Sorting:
- A Haskell libary for generating low-level sounds with high-level combinators.☆15Updated 11 months ago
- Source code for haskle.net☆30Updated 2 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆36Updated 3 weeks ago
- ☆22Updated 4 months ago
- The Montreal Haskell Compiler☆25Updated this week
- Haskell counters that can be safely incremented from multiple threads☆19Updated 9 months ago
- Implementation of an efficient thread-safe global Symbol Table, with garbage collection☆19Updated 6 months ago
- Reimplementation of a subset of Cabal☆32Updated this week
- Mary is the successor of Marx, a content delivery and assessment engine based on markdown and git☆17Updated last year
- Haskell port of the Nanopass Compiler Framework☆23Updated 3 months ago
- ☆41Updated last year
- An efficient finite map from (byte)strings to values.☆20Updated 5 months ago
- Interval datatype, interval arithmetic, and interval-based containers for Haskell☆21Updated last month
- A library for building bots compositionally.☆48Updated 6 months ago
- Type-safe WebAssembly eDSL in Haskell☆27Updated 11 months ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆40Updated 4 years ago
- Abstract, inspectable JSON representation of Haskell objects☆26Updated 3 years ago
- It's Data.Graph, but it doesn't suck!☆16Updated 4 years ago
- College assignment writing in which I ramble about type classes and dependent types.☆12Updated 4 years ago
- Existential type.☆37Updated 9 months ago
- A Haskell libary for fast arrowized FRP based on signal functions☆18Updated last year
- A simple functional programming language.☆22Updated 4 years ago
- Funny little Haskell impl☆18Updated 4 years ago
- Experimental JS bindings for idris2-rhone☆21Updated last year
- A type-level, statically-verified Haskell embedded domain specific language (EDSL) for writing guitar tablature.☆26Updated 3 years ago
- GHC plugin to branch on whether a constraint is satisfied☆33Updated 2 months ago
- ☆16Updated 3 years ago
- Ghosts of Departed Proofs☆61Updated 4 years ago
- An implementation of a Relaxed Radix Balanced Vector in Haskell.☆29Updated 6 months ago
- A simple library I wrote to allow me to quickly and easily construct command line interfaces.☆28Updated 2 years ago