Pure functional Lisp implemented in Rust
β210Dec 12, 2021Updated 4 years ago
Alternatives and similar repositories for arret
Users that are interested in arret are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lisp dialect scripting and extension language for Rust programsβ769May 18, 2021Updated 5 years ago
- A friendly little systems language with first-class types. Very WIP! π§ π§ π§β623May 16, 2021Updated 5 years ago
- An interpreter of F-ing modulesβ19Jun 21, 2019Updated 7 years ago
- Sruth LΓΉbach: A toy optimization engineβ23Jun 7, 2021Updated 5 years ago
- Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"β120Apr 6, 2019Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer β’ AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A static, type inferred and embeddable language written in Rust.β3,417Jul 10, 2026Updated 2 weeks ago
- Label dependent dependent session typesβ16May 2, 2024Updated 2 years ago
- Beautiful diagnostic reporting for text-based programming languages.β1,295Feb 28, 2026Updated 4 months ago
- Scheme R7RS frontend for LLVMβ70Jan 3, 2018Updated 8 years ago
- An insanely simple self-hosted functional programming languageβ165Aug 2, 2019Updated 6 years ago
- Clojure, implemented atop Rust (unofficial)β979Apr 16, 2023Updated 3 years ago
- A statically typed lisp, without a GC, for real-time applications.β5,990Jun 29, 2026Updated 3 weeks ago
- garbage collectionβ328Jul 24, 2019Updated 7 years ago
- dependently-typed lisp with flexible compiler backendsβ26May 24, 2019Updated 7 years ago
- Simple, predictable pricing with DigitalOcean hosting β’ AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A C compiler written in Rust, with a focus on good error messages.β306Feb 4, 2025Updated last year
- 'Transfer' is to 'move' what 'Clone' is to 'copy'β12Oct 13, 2019Updated 6 years ago
- Garbage collector implementation in Rust for Rustβ13Aug 30, 2020Updated 5 years ago
- A safe and efficient target language for functional compilersβ20May 5, 2018Updated 8 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effectsβ38Oct 25, 2024Updated last year
- A toy Lisp compiler targeting x86-64β40Mar 10, 2020Updated 6 years ago
- Haskell in S-expressionβ177Nov 18, 2024Updated last year
- a simple yet comprehensive scheme interpreter in rustβ80Aug 13, 2020Updated 5 years ago
- A demand-driven compiler with strong IDE supportβ195Jun 6, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways β’ AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A lightweight, no-std, object-safe, serialization-only framework for Rustβ108May 27, 2026Updated 2 months ago
- An ML-like language featuring native compilation.β18Jul 6, 2015Updated 11 years ago
- A micro compiler for the FORTH programming languageβ14Jul 5, 2026Updated 3 weeks ago
- rebar3 Clojerl compiler pluginβ27Aug 29, 2021Updated 4 years ago
- A statically-typed compiled language defined by a simple grammarβ24Apr 28, 2026Updated 2 months ago
- A language for designing slidesβ117Dec 3, 2025Updated 7 months ago
- A rusty dynamically typed scripting languageβ1,914Dec 23, 2025Updated 7 months ago
- π§ (Alpha stage software) A declarative data definition language for formally specifying binary data formats. π§β267Sep 6, 2023Updated 2 years ago
- A programming language focused on concurrency and low memory usageβ12Apr 29, 2019Updated 7 years ago
- GPUs on demand by Runpod - Special Offer Available β’ AdRun AI, ML, and HPC workloads on powerful cloud GPUsβwithout limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A prototype of my proposed name resolution algorithm for Rust.β13Nov 24, 2015Updated 10 years ago
- β16Oct 5, 2021Updated 4 years ago
- Kempe is a compiled stack-based languageβ58Sep 30, 2024Updated last year
- An interactive interpreter for asynchronous algebraic effectsβ15Jun 19, 2024Updated 2 years ago
- Typed Ξ»-calculus in Rustβ30Jun 27, 2023Updated 3 years ago
- Lisp-like DSL for Rust languageβ438Jun 24, 2023Updated 3 years ago
- Simple and clear embedabble programming languageβ19Apr 3, 2023Updated 3 years ago