docelic / awesome-urwebLinks
Collection of awesome Ur/Web libraries, components, and projects
☆13Updated 3 years ago
Alternatives and similar repositories for awesome-urweb
Users that are interested in awesome-urweb are comparing it to the libraries listed below
Sorting:
- Build tool for ATS.☆41Updated 3 years ago
- pure type system language - henk 2000 ported to megaparsec, pretty☆21Updated 9 years ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- The Prettiest Printer☆35Updated last year
- First class patterns and pattern matching, using type families☆17Updated 4 years ago
- Collection of ATS goodness☆35Updated 5 years ago
- An implementation of a Relaxed Radix Balanced Vector in Haskell.☆29Updated 4 months ago
- JHC Haskell compiler split into reusable components☆58Updated 6 years ago
- An implementation of miniKanren in Haskell☆78Updated 12 years ago
- ☆25Updated 2 years ago
- A Galilean revolution for computing: Unboundedly scalable reliability and efficiency☆15Updated last year
- Efficient parser combinators for Haskell☆39Updated last month
- Reimplementation of a subset of Cabal☆30Updated this week
- being a thing I build on a Saturday☆28Updated 7 years ago
- An interpreted lambda calculus with Algebraic and Recursive Types.☆17Updated 4 years ago
- An epoll-based HTTP library for ATS2☆14Updated 2 years ago
- GRIN backend for Idris☆50Updated 5 years ago
- Generic functions for single-sorted first-order structural unification☆46Updated 2 months ago
- (NOTE: REPOSITORY MOVED TO NEW OWNER: https://github.com/lexi-lambda/monad-validate) A Haskell monad transformer library for data validat…☆32Updated 3 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 5 years ago
- Template for Hindley-Milner based languages☆39Updated 3 years ago
- Stacks and queues with compact representations☆16Updated 4 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 4 years ago
- For supporting template-based programming☆21Updated 5 years ago
- A virtual memory scanner☆10Updated last year
- Type Safe LLVM IR ( Experimental )☆49Updated 7 years ago
- the dynabook but for haskell☆23Updated 5 years ago
- Pretty-print error messages of the ATS Compiler☆35Updated 6 years ago
- Haskell implementation of interaction net-based lambda evaluation☆21Updated 9 years ago
- classical sequent calculus, embedded in Haskell☆20Updated 3 years ago