danieljharvey / horsesLinks
small programming language. pls be gentle.
☆39Updated last month
Alternatives and similar repositories for horses
Users that are interested in horses are comparing it to the libraries listed below
Sorting:
- Package manager for Idris☆35Updated 2 years ago
- Efficient parser combinators for Haskell☆39Updated last week
- Chapelure is a diagnostic library for Haskell☆45Updated last year
- Kempe is a compiled stack-based language☆58Updated 8 months ago
- A WIP compiler for a functional language. Very incomplete!☆16Updated 3 years ago
- Ouroboros is a PureScript compiler written in PureScript.☆20Updated 8 months ago
- Prototype for https://github.com/Innf107/vega☆19Updated 10 months ago
- ⚖️ Trial Data Type☆20Updated 2 months ago
- A Haskell to Coq compiler that represents effectful programs with the free monad☆45Updated 3 years ago
- Simple, elegant, profunctorial, applicative validation for product types!☆19Updated 3 years ago
- An interpreter of F-ing modules☆19Updated 5 years ago
- Classical Logic in Haskell☆24Updated 2 months ago
- higher-kinded data☆30Updated 2 years ago
- "operating system" based on the calculus of constructions☆18Updated 2 years ago
- A simple functional programming language.☆21Updated 4 years ago
- ☆18Updated 4 years ago
- Template for Hindley-Milner based languages☆39Updated 3 years ago
- classical sequent calculus, embedded in Haskell☆20Updated 3 years ago
- A Haskell monad transformer library for data validation☆36Updated last year
- ☆47Updated last week
- Deep evaluation of data structures☆41Updated 8 months ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- Lambda normalization and conversion checking benchmarks for various implementations☆59Updated 4 years ago
- Dissectible data structures for implementing iterative traversals.☆20Updated 3 years ago
- An experimental Haskell library for programming with effectful runners.☆29Updated 5 years ago
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆44Updated 3 months ago
- A simple library I wrote to allow me to quickly and easily construct command line interfaces.☆28Updated 2 years ago
- Automatically import Haskell modules.☆21Updated 2 weeks ago
- C++ foreign export implementations for the standard library☆22Updated 5 years ago
- ☆12Updated 4 years ago