danieljharvey / horsesLinks
small programming language. pls be gentle.
☆39Updated 2 months ago
Alternatives and similar repositories for horses
Users that are interested in horses are comparing it to the libraries listed below
Sorting:
- Efficient parser combinators for Haskell☆39Updated 3 weeks ago
- An interpreter of F-ing modules☆19Updated 6 years ago
- Dissectible data structures for implementing iterative traversals.☆20Updated 3 years ago
- Simple, elegant, profunctorial, applicative validation for product types!☆19Updated 3 years ago
- Higher order functional programming in PureScript's type system☆43Updated 3 years ago
- Prototype for https://github.com/Innf107/vega☆19Updated 11 months ago
- Haskell Expression Visualizer☆13Updated 3 years ago
- Classical Logic in Haskell☆24Updated 3 months ago
- Chapelure is a diagnostic library for Haskell☆45Updated 2 years ago
- Template for Hindley-Milner based languages☆39Updated 3 years ago
- Supporting code for the book /Lenses for the Mere Mortal: PureScript Edition/☆33Updated 2 years ago
- C++ foreign export implementations for the standard library☆22Updated 6 years ago
- ☆22Updated 7 months ago
- Example row-polymorphism implementations☆61Updated last year
- A two-dimensional parser combinator library.☆41Updated 8 years ago
- A WIP compiler for a functional language. Very incomplete!☆16Updated 3 years ago
- Kempe is a compiled stack-based language☆58Updated 8 months ago
- Automatically import Haskell modules.☆21Updated last month
- Ouroboros is a PureScript compiler written in PureScript.☆20Updated 9 months ago
- semirings and *-semirings of types in base/haskell-platform☆42Updated last year
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- A Haskell to Coq compiler that represents effectful programs with the free monad☆45Updated 3 years ago
- Type definitions and low level interface implementations for the W3C DOM spec☆34Updated last year
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- A Haskell monad transformer library for data validation☆36Updated last year
- Session Types with Priority in Linear Haskell☆27Updated last year
- bollu learns implementation of dependent typing☆30Updated 2 years ago
- Fast higher-order effect handlers with evidence passing☆21Updated last year
- A simple library I wrote to allow me to quickly and easily construct command line interfaces.☆28Updated 2 years ago
- 🪆 A Staged Type Theory☆35Updated last year