cdouglass / samara
An interpreter for a small ML-ish language
☆11Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for samara
- Bidirectional type checker for the simply typed lambda calculus☆13Updated 4 years ago
- A compiler for a simple language using llvm☆35Updated last year
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- Example row-polymorphism implementations☆59Updated last year
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆34Updated 2 weeks ago
- Kempe is a compiled stack-based language☆58Updated last month
- LaTeX sources for the Habit Programming Language Report☆24Updated 6 years ago
- A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism☆101Updated 7 years ago
- A tiny statically typed programming language☆18Updated 10 years ago
- A Haskell monad transformer library for data validation☆36Updated last year
- ☆41Updated 7 years ago
- Efficient implementation of the implicit treap data structure☆63Updated 3 years ago
- it's a starcraft clone but with a dope typesystem☆49Updated 4 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated 5 months ago
- Lua parser and pretty-printer☆15Updated 5 months ago
- small programming language. pls be gentle.☆39Updated 2 weeks ago
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago
- A Haskell IDE for Visual Studio Code.☆26Updated last month
- Efficient parser combinators for Haskell☆39Updated 6 months ago
- A GHC plugin to derive instances.☆23Updated last year
- A bidirectional type checker☆57Updated 7 years ago
- a simple functional language for learners☆30Updated 7 years ago
- A template for you to implement Hazelnut yourself☆19Updated last month
- A simple example of integrating TypeScript and Haskell.☆13Updated 3 years ago
- Go foreign export implementations for the standard library☆32Updated last year
- Ikko language☆26Updated 4 years ago
- μKanren in Elm☆42Updated 7 years ago
- A 2D platformer in Idris, a dependently-typed purely functional programming language☆25Updated 4 years ago