playXE / capyLinks
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
Sorting:
- ☆19Updated last year
- ☆19Updated 2 years ago
- Fast, CommonMark-compliant Markdown parser written in Racket☆32Updated 7 months ago
- ☆22Updated 5 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- koneko - a concatenative not-quite-lisp for kittens☆24Updated 9 months ago
- An embeddable Scheme R7 Compiler & Runtime written in Rust☆104Updated 2 weeks ago
- An experimental Racket implementation using LLVM/MLIR☆61Updated last year
- ☆35Updated 5 years ago
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆11Updated last year
- Wasm tooling in Racket.☆42Updated 2 years ago
- Based on Plait (based on PLAI Typed, based on PLAI), but in Shrubbery notation☆17Updated last month
- An experimental language server for SomewhatML☆24Updated 2 years ago
- The Kraken Programming Language☆47Updated last year
- An implementation of "A Pretty Expressive Printer" in Racket☆27Updated last year
- A logic programming library for Common Lisp.☆62Updated 4 years ago
- Common lisp implementation of Val Schorr's Meta-II language☆17Updated 8 years ago
- Untyped Concatenative Calculus☆19Updated 3 years ago
- regexes for trees; grep for s-exprs☆18Updated 11 months ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Updated 2 years ago
- A SKI combinators interpreter written in assembly☆19Updated 4 years ago
- Simple scheme bytecode VM☆29Updated 3 years ago
- A simple functional programming language.☆21Updated 3 years ago
- Collection of Utilities for Gerbil Scheme☆43Updated 10 months ago
- ☆15Updated 8 years ago
- A TOML parser for Idris 2☆17Updated 11 months ago
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Updated 11 years ago
- Prototypes: Object Orientation, Functionally☆44Updated last month
- A Racket refactoring engine☆63Updated last week
- Common Lisp DSL for building untyped lambda calculus expressions☆26Updated 6 months ago