zepto-lang / zepto
A schemy Lisp backed by Haskell
☆60Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for zepto
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆27Updated 4 years ago
- Racket parser combinators inspired by parsack and megaparsec☆77Updated last month
- (Somewhat) Algebraic Data Types for Racket☆35Updated last year
- Haskell Semantics with Lisp Syntax☆66Updated 10 years ago
- Relational Programming in miniKanren☆52Updated 9 years ago
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆20Updated 9 years ago
- Canonical miniKanren implementation in Racket☆84Updated 3 years ago
- A Racket package for creating and composing pure functional lenses☆74Updated 5 years ago
- An idris backend compiling to chez scheme☆47Updated 7 years ago
- Metacircular evaluator for a tiny fexpr language☆44Updated 12 years ago
- A basic Parsec-like monadic parser combinator library implementation in Racket.☆50Updated last year
- remix - a revised version of Racket☆33Updated last year
- Indentation-based Racket Syntax☆37Updated 3 years ago
- A Haskell implementation of the Shen programming language.☆162Updated 6 years ago
- Sinister's Scheme Compiler!☆24Updated 2 years ago
- NES programming in Haskell? No way!☆38Updated 8 years ago
- A simple programming language targeting LLVM☆64Updated 6 years ago
- Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.☆23Updated 9 years ago
- The Alms Programming Language☆44Updated 6 years ago
- A simple Prolog interpreter☆43Updated 2 years ago
- Lecture notes for teaching Haskell to those who want to read it☆55Updated 2 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆28Updated 6 years ago
- Yes, it is what you think it is☆33Updated 8 years ago
- ☆15Updated 8 years ago
- A Scala-style magic function application form☆43Updated 2 years ago
- Functional interfaces and datatypes for Racket☆43Updated 3 years ago
- Algebraic structures for untyped Racket☆75Updated 4 months ago
- A tiny scheme interpreter in Haskell☆24Updated 5 years ago
- Lojban ologs (categorical databases) using jq☆23Updated 5 years ago
- Racket-based implementation of Adapton☆22Updated 5 years ago