danieljharvey / horses
small programming language. pls be gentle.
☆39Updated 3 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for horses
- A dependently typed programming language with direct style effects and linearity☆19Updated 3 months ago
- Efficient parser combinators for Haskell☆39Updated 7 months ago
- a functional programming language with algebraic effects and handlers☆81Updated 2 years ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- Kempe is a compiled stack-based language☆58Updated last month
- Implementing a small functional language with a combinator based graph-reduction machine☆28Updated 11 months ago
- Typing Haskell in Haskell☆15Updated 14 years ago
- Higher order functional programming in PureScript's type system☆43Updated 3 years ago
- Dissectible data structures for implementing iterative traversals.☆20Updated 2 years ago
- classical sequent calculus, embedded in Haskell☆19Updated 2 years ago
- Haskell monad transformer for weighted, non-deterministic computation☆29Updated 11 months ago
- Classical Logic in Haskell☆23Updated last year
- Package manager for Idris☆35Updated 2 years ago
- A simple functional programming language.☆21Updated 3 years ago
- Automatic piecewise-mutable references for your types☆43Updated 4 years ago
- A Haskell to Coq compiler that represents effectful programs with the free monad☆45Updated 2 years ago
- Simple, elegant, profunctorial, applicative validation for product types!☆19Updated 3 years ago
- My attempt at writing a R⁵RS-compliant Scheme with Megaparsec☆15Updated 9 months ago
- higher-kinded data☆30Updated last year
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆28Updated 3 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆38Updated 4 years ago
- Standard module for type-level programming in Haskell☆31Updated 5 years ago
- ☆18Updated 3 years ago
- A Haskell libary for fast arrowized FRP based on signal functions☆17Updated 3 months ago
- An interpreter of F-ing modules☆18Updated 5 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆55Updated 5 months ago
- First class patterns and pattern matching, using type families☆17Updated 4 years ago
- C++ foreign export implementations for the standard library☆22Updated 5 years ago
- ☆19Updated 6 months ago