Pure functional Lisp implemented in Rust
β209Dec 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β766May 18, 2021Updated 4 years ago
- A friendly little systems language with first-class types. Very WIP! π§ π§ π§β624May 16, 2021Updated 4 years ago
- An interpreter of F-ing modulesβ19Jun 21, 2019Updated 6 years ago
- Sruth LΓΉbach: A toy optimization engineβ23Jun 7, 2021Updated 4 years ago
- A static, type inferred and embeddable language written in Rust.β3,392Dec 6, 2024Updated last year
- Open source password manager - Proton Pass β’ AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"β118Apr 6, 2019Updated 6 years ago
- Label dependent dependent session typesβ16May 2, 2024Updated last year
- Beautiful diagnostic reporting for text-based programming languages.β1,282Feb 28, 2026Updated 3 weeks ago
- Clojure, implemented atop Rust (unofficial)β976Apr 16, 2023Updated 2 years ago
- Scheme R7RS frontend for LLVMβ69Jan 3, 2018Updated 8 years ago
- A statically typed lisp, without a GC, for real-time applications.β5,848Mar 20, 2026Updated last week
- A C compiler written in Rust, with a focus on good error messages.β305Feb 4, 2025Updated last year
- An insanely simple self-hosted functional programming languageβ164Aug 2, 2019Updated 6 years ago
- garbage collectionβ327Jul 24, 2019Updated 6 years ago
- End-to-end encrypted cloud storage - Proton Drive β’ AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- dependently-typed lisp with flexible compiler backendsβ27May 24, 2019Updated 6 years ago
- '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 language for designing slidesβ117Dec 3, 2025Updated 3 months ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effectsβ37Oct 25, 2024Updated last year
- A micro compiler for the FORTH programming languageβ13May 28, 2021Updated 4 years ago
- A safe and efficient target language for functional compilersβ20May 5, 2018Updated 7 years ago
- A toy Lisp compiler targeting x86-64β40Mar 10, 2020Updated 6 years ago
- a simple yet comprehensive scheme interpreter in rustβ80Aug 13, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways β’ AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- A rusty dynamically typed scripting languageβ1,905Dec 23, 2025Updated 3 months ago
- Lisp-like DSL for Rust languageβ436Jun 24, 2023Updated 2 years ago
- Haskell in S-expressionβ177Nov 18, 2024Updated last year
- rebar3 Clojerl compiler pluginβ27Aug 29, 2021Updated 4 years ago
- A lightweight, no-std, object-safe, serialization-only framework for Rustβ104Feb 7, 2026Updated last month
- An interpreted language written in Rust inspired by the Lisp family of languages.β61May 12, 2022Updated 3 years ago
- A simple supercompiler formally verified in Agdaβ34Mar 17, 2017Updated 9 years ago
- An ML-like language featuring native compilation.β18Jul 6, 2015Updated 10 years ago
- A statically-typed compiled language defined by a simple grammarβ24Aug 28, 2022Updated 3 years ago
- NordVPN Special Discount Offer β’ AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- π§ (Alpha stage software) A declarative data definition language for formally specifying binary data formats. π§β268Sep 6, 2023Updated 2 years ago
- A mostly functional haskell compiler written in rustβ321Dec 23, 2023Updated 2 years ago
- A programming language focused on concurrency and low memory usageβ12Apr 29, 2019Updated 6 years ago
- A WIP little dependently-typed systems languageβ41Aug 13, 2024Updated last year
- Typed Ξ»-calculus in Rustβ30Jun 27, 2023Updated 2 years ago
- A prototype of my proposed name resolution algorithm for Rust.β13Nov 24, 2015Updated 10 years ago
- Kempe is a compiled stack-based languageβ58Sep 30, 2024Updated last year