danieljharvey / horsesLinks
small programming language. pls be gentle.
☆39Updated last week
Alternatives and similar repositories for horses
Users that are interested in horses are comparing it to the libraries listed below
Sorting:
- Kempe is a compiled stack-based language☆58Updated 9 months ago
- A WIP compiler for a functional language. Very incomplete!☆16Updated 3 years ago
- Efficient parser combinators for Haskell☆39Updated last month
- ⚖️ Trial Data Type☆21Updated last month
- a functional programming language with algebraic effects and handlers☆82Updated 5 months ago
- Classical Logic in Haskell☆24Updated 3 months ago
- Higher order functional programming in PureScript's type system☆43Updated 3 years ago
- Simple, elegant, profunctorial, applicative validation for product types!☆19Updated 3 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆31Updated last week
- A Haskell to Coq compiler that represents effectful programs with the free monad☆45Updated 3 years ago
- Ouroboros is a PureScript compiler written in PureScript.☆20Updated 9 months ago
- Registry of PureScript packages and metadata about them☆48Updated last week
- PolyRPC, A multi-tier functional programming language☆20Updated 2 years ago
- An interpreter of F-ing modules☆19Updated 6 years ago
- Typing Haskell in Haskell☆15Updated 15 years ago
- Fast higher-order effect handlers with evidence passing☆21Updated last year
- Template for Hindley-Milner based languages☆39Updated 3 years ago
- Functions for working with homogeneous JavaScript objects☆28Updated 2 years ago
- Spreadsheet management application on Halogen☆27Updated last year
- My attempt at writing a R⁵RS-compliant Scheme with Megaparsec☆14Updated last year
- A Haskell monad transformer library for data validation☆36Updated last year
- Chapelure is a diagnostic library for Haskell☆45Updated 2 years ago
- Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).☆69Updated 6 months ago
- C++ foreign export implementations for the standard library☆22Updated 6 years ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- Haskell monad transformer for weighted, non-deterministic computation☆30Updated 5 months ago
- A tool to make solving type errors in Haskell simple and fun.☆37Updated 2 years ago
- A pedagogical functional programming language.☆19Updated this week
- Wasm library for PureScript☆29Updated 11 months ago
- classical sequent calculus, embedded in Haskell☆20Updated 3 years ago