danieljharvey / horses
small programming language. pls be gentle.
☆39Updated 3 months ago
Related projects: ⓘ
- Efficient parser combinators for Haskell☆39Updated 5 months ago
- C++ foreign export implementations for the standard library☆21Updated 5 years ago
- A dependently typed programming language with direct style effects and linearity☆18Updated last month
- Classical Logic in Haskell☆23Updated last year
- A Haskell monad transformer library for data validation☆36Updated last year
- My attempt at writing a R⁵RS-compliant Scheme with Megaparsec☆15Updated 7 months ago
- Chapelure is a diagnostic library for Haskell☆44Updated last year
- A two-dimensional parser combinator library.☆41Updated 7 years ago
- Simple, elegant, profunctorial, applicative validation for product types!☆19Updated 3 years ago
- Dissectible data structures for implementing iterative traversals.☆20Updated 2 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆28Updated 9 months ago
- A simple functional programming language.☆20Updated 3 years ago
- ☆22Updated 8 months ago
- Higher order functional programming in PureScript's type system☆43Updated 2 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆55Updated 3 months ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- Fast higher-order effect handlers with evidence passing☆17Updated 8 months ago
- A Haskell to Coq compiler that represents effectful programs with the free monad☆45Updated 2 years ago
- Haskell Expression Visualizer☆13Updated 2 years ago
- a functional programming language with algebraic effects and handlers☆81Updated 2 years ago
- Kempe is a compiled stack-based language☆58Updated 3 months ago
- ☆46Updated 5 months ago
- Automatically import Haskell modules.☆19Updated 2 months ago
- Deep evaluation of data structures☆40Updated last week
- bollu learns implementation of dependent typing☆24Updated last year
- Typing Haskell in Haskell☆15Updated 14 years ago
- A Teeny Type Theory☆26Updated 2 years ago
- Package manager for Idris☆35Updated 2 years ago
- An interpreter of F-ing modules☆18Updated 5 years ago
- ☆18Updated 3 years ago