playXE / capy
Scheme implementation (now maybe working properly)
☆18Updated last year
Alternatives and similar repositories for capy:
Users that are interested in capy are comparing it to the libraries listed below
- dependently-typed lisp with flexible compiler backends☆27Updated 5 years ago
- koneko - a concatenative not-quite-lisp for kittens☆23Updated 8 months ago
- ☆19Updated last year
- An experimental Racket implementation using LLVM/MLIR☆62Updated last year
- regexes for trees; grep for s-exprs☆18Updated 10 months ago
- Common lisp implementation of Val Schorr's Meta-II language☆18Updated 8 years ago
- Fast, CommonMark-compliant Markdown parser written in Racket☆32Updated 6 months ago
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆11Updated last year
- An embeddable Scheme R7 Compiler & Runtime written in Rust☆104Updated 2 months ago
- The Kraken Programming Language☆47Updated last year
- ☆22Updated 5 years ago
- Q line editor and full-screen interface editor☆11Updated 3 years ago
- A SKI combinators interpreter written in assembly☆20Updated 4 years ago
- The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/☆22Updated last year
- A logic programming library for Common Lisp.☆61Updated 4 years ago
- ☆19Updated last year
- ☆20Updated 4 years ago
- ☆48Updated 5 months ago
- ☆35Updated 5 years ago
- Simple scheme bytecode VM☆29Updated 3 years ago
- Common Lisp DSL for building untyped lambda calculus expressions☆25Updated 5 months ago
- Collection of Utilities for Gerbil Scheme☆43Updated 9 months ago
- dependent type theory experiment☆26Updated last year
- Untyped Concatenative Calculus☆19Updated 3 years ago
- Prototypes: Object Orientation, Functionally☆44Updated last week
- An embeddable BQN virtual machine in rust. Stay tuned!☆34Updated 3 years ago
- Wasm tooling in Racket.☆43Updated last year
- Auto define Racket bindings to C by parsing header files.☆29Updated 2 years ago
- Based on Plait (based on PLAI Typed, based on PLAI), but in Shrubbery notation☆17Updated last week
- My Advent of Code solutions☆22Updated 4 months ago