danieljharvey / horses
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
- Dissectible data structures for implementing iterative traversals.☆20Updated 2 years ago
- Higher order functional programming in PureScript's type system☆43Updated 3 years ago
- A WIP compiler for a functional language. Very incomplete!☆16Updated 3 years ago
- A dependently typed programming language with direct style effects and linearity☆19Updated 8 months ago
- Efficient parser combinators for Haskell☆39Updated 11 months ago
- a functional programming language with algebraic effects and handlers☆81Updated last month
- Chapelure is a diagnostic library for Haskell☆45Updated last year
- Ouroboros is a PureScript compiler written in PureScript.☆20Updated 6 months ago
- C++ foreign export implementations for the standard library☆22Updated 5 years ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- A Haskell to Coq compiler that represents effectful programs with the free monad☆44Updated 2 years ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- Classical Logic in Haskell☆24Updated last week
- Deep evaluation of data structures☆41Updated 6 months ago
- An interpreter of F-ing modules☆18Updated 5 years ago
- Functions for working with homogeneous JavaScript objects☆28Updated 2 years ago
- Template for Hindley-Milner based languages☆39Updated 3 years ago
- A Haskell monad transformer library for data validation☆36Updated last year
- My attempt at writing a R⁵RS-compliant Scheme with Megaparsec☆16Updated last year
- Kempe is a compiled stack-based language☆58Updated 6 months ago
- Simple, elegant, profunctorial, applicative validation for product types!☆19Updated 3 years ago
- A simple functional programming language.☆21Updated 3 years ago
- An experimental Haskell library for programming with effectful runners.☆29Updated 5 years ago
- A UI library with easy and flexible state management inspired by Recoil.js and React Hooks.☆36Updated 2 years ago
- First class patterns and pattern matching, using type families☆17Updated 4 years ago
- ⚖️ Trial Data Type☆20Updated this week
- Types and kinds for basic type-level programming☆64Updated 6 months ago
- Package manager for Idris☆35Updated 2 years ago
- Example row-polymorphism implementations☆61Updated last year
- A comprehensive and practical tutorial for people to learn Purescript without any prior experience with functional programming☆13Updated 4 years ago