danieljharvey / horses
small programming language. pls be gentle.
☆39Updated this week
Alternatives and similar repositories for horses:
Users that are interested in horses are comparing it to the libraries listed below
- Efficient parser combinators for Haskell☆39Updated last year
- Prototype for https://github.com/Innf107/vega☆19Updated 9 months ago
- Chapelure is a diagnostic library for Haskell☆45Updated last year
- Classical Logic in Haskell☆24Updated last month
- Dissectible data structures for implementing iterative traversals.☆20Updated 2 years ago
- An interpreter of F-ing modules☆19Updated 5 years ago
- Higher order functional programming in PureScript's type system☆43Updated 3 years ago
- A Haskell to Coq compiler that represents effectful programs with the free monad☆44Updated 2 years ago
- Ouroboros is a PureScript compiler written in PureScript.☆20Updated 7 months ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆39Updated 4 years ago
- A Haskell monad transformer library for data validation☆36Updated last year
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆47Updated 2 years ago
- Package manager for Idris☆35Updated 2 years ago
- First class patterns and pattern matching, using type families☆17Updated 4 years ago
- My attempt at writing a R⁵RS-compliant Scheme with Megaparsec☆14Updated last year
- ☆47Updated 4 months ago
- Template for Hindley-Milner based languages☆39Updated 3 years ago
- A very simple interface for incremental computation using STM in Haskell.☆13Updated 2 years ago
- GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can …☆11Updated 4 months ago
- ⚖️ Trial Data Type☆20Updated 3 weeks ago
- ☆22Updated 5 months ago
- Simple, elegant, profunctorial, applicative validation for product types!☆19Updated 3 years ago
- Registry of PureScript packages and metadata about them☆47Updated this week
- Typing Haskell in Haskell☆15Updated 15 years ago
- A WIP compiler for a functional language. Very incomplete!☆16Updated 3 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated 10 months ago
- C++ foreign export implementations for the standard library☆22Updated 5 years ago
- A simple library I wrote to allow me to quickly and easily construct command line interfaces.☆28Updated 2 years ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago