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β766May 18, 2021Updated 4 years ago
- A friendly little systems language with first-class types. Very WIP! π§ π§ π§β623May 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
- Wordpress hosting with auto-scaling - Free Trial β’ AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"β119Apr 6, 2019Updated 7 years ago
- Label dependent dependent session typesβ16May 2, 2024Updated last year
- Beautiful diagnostic reporting for text-based programming languages.β1,285Feb 28, 2026Updated last month
- Clojure, implemented atop Rust (unofficial)β977Apr 16, 2023Updated 3 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,856Apr 9, 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
- 1-Click AI Models by DigitalOcean Gradient β’ AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 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 4 months ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effectsβ38Oct 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
- 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 rusty dynamically typed scripting languageβ1,902Dec 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β105Updated this week
- 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
- Virtual machines for every use case on DigitalOcean β’ AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- π§ (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