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! π§ π§ π§β621May 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
- Managed Database hosting by DigitalOcean β’ AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A static, type inferred and embeddable language written in Rust.β3,429Aug 6, 2026Updated last week
- Label dependent dependent session typesβ16May 2, 2024Updated 2 years ago
- Beautiful diagnostic reporting for text-based programming languages.β1,295Feb 28, 2026Updated 5 months ago
- Scheme R7RS frontend for LLVMβ70Jan 3, 2018Updated 8 years ago
- An insanely simple self-hosted functional programming languageβ165Aug 2, 2019Updated 7 years ago
- Clojure, implemented atop Rust (unofficial)β980Apr 16, 2023Updated 3 years ago
- A statically typed lisp, without a GC, for real-time applications.β6,006Aug 3, 2026Updated last week
- garbage collectionβ328Jul 24, 2019Updated 7 years ago
- dependently-typed lisp with flexible compiler backendsβ27May 24, 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 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 6 years ago
- A demand-driven compiler with strong IDE supportβ195Jun 6, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean β’ AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A lightweight, no-std, object-safe, serialization-only framework for Rustβ108Aug 3, 2026Updated last week
- An ML-like language featuring native compilation.β18Jul 6, 2015Updated 11 years ago
- A micro compiler for the FORTH programming languageβ14Jul 5, 2026Updated last month
- rebar3 Clojerl compiler pluginβ27Aug 29, 2021Updated 4 years ago
- A statically-typed compiled language defined by a simple grammarβ24Jul 27, 2026Updated 2 weeks ago
- A language for designing slidesβ117Dec 3, 2025Updated 8 months ago
- A rusty dynamically typed scripting languageβ1,915Updated this week
- π§ (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
- Wordpress hosting with auto-scaling - Free Trial Offer β’ AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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