danieljharvey / horsesLinks
small programming language. pls be gentle.
☆39Updated 2 weeks 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 last month
- Type definitions and low level interface implementations for the W3C DOM spec☆35Updated last year
- Chapelure is a diagnostic library for Haskell☆45Updated 2 years ago
- Prototype for https://github.com/Innf107/vega☆19Updated last year
- Kempe is a compiled stack-based language☆58Updated last year
- Registry of PureScript packages and metadata about them☆47Updated this week
- a functional programming language with algebraic effects and handlers☆82Updated 7 months ago
- A Haskell monad transformer library for data validation☆37Updated 2 years ago
- Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).☆73Updated 9 months ago
- A WIP compiler for a functional language. Very incomplete!☆16Updated 3 years ago
- My attempt at writing a R⁵RS-compliant Scheme with Megaparsec☆13Updated last month
- ⚖️ Trial Data Type☆21Updated 3 months ago
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Updated 2 years ago
- A tool to make solving type errors in Haskell simple and fun.☆38Updated 3 years ago
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆44Updated 8 months ago
- A simple library I wrote to allow me to quickly and easily construct command line interfaces.☆28Updated 2 years ago
- Type definitions and low level interface implementations for the W3C HTML5 spec☆33Updated 2 years ago
- Higher order functional programming in PureScript's type system☆44Updated 3 years ago
- Source code for haskle.net☆30Updated 2 years ago
- An implementation of a Relaxed Radix Balanced Vector in Haskell.☆29Updated 7 months ago
- A pedagogical functional programming language.☆20Updated last week
- Package manager for Idris☆37Updated 3 years ago
- A pure type system implemented in OCaml☆77Updated 4 years ago
- Classical Logic in Haskell☆24Updated 6 months ago
- Experimental proof assistant (and architecture) for dependent linear logic☆49Updated 3 years ago
- Lightweight package providing commonly useful parser combinators☆54Updated last week
- Quick explanation of eliminating left recursion in Haskell parsers☆54Updated 4 years ago
- Ouroboros is a PureScript compiler written in PureScript.☆20Updated last year
- The compilation target that functional programmers always wanted.☆62Updated 5 years ago
- Automatic piecewise-mutable references for your types☆42Updated 5 years ago