An insanely simple self-hosted functional programming language
☆164Aug 2, 2019Updated 6 years ago
Alternatives and similar repositories for atto
Users that are interested in atto are comparing it to the libraries listed below
Sorting:
- A lightweight scripting language for Rust☆21Mar 7, 2020Updated 5 years ago
- a self-hosting lambda calculus compiler☆37Mar 31, 2025Updated 11 months ago
- ☆20Sep 1, 2018Updated 7 years ago
- A lightweight, elegant scripting language with built-in Rust-FFI.☆167Nov 1, 2019Updated 6 years ago
- A super-fast, stack-based virtual machine for dynamic languages☆75Mar 3, 2025Updated 11 months ago
- simple yet expressive high-level scripting language (formerly known as tisp) [MIRROR]☆27Feb 21, 2026Updated last week
- Rust testing framework for compilers and VMs☆51Feb 24, 2025Updated last year
- lisp for bears☆13Jun 26, 2023Updated 2 years ago
- Copying Garbage Collector☆14May 13, 2020Updated 5 years ago
- Reversible programming language☆12Dec 7, 2019Updated 6 years ago
- Shiro - a declarative, dataflow programming language for exploring alternatives☆16Oct 14, 2016Updated 9 years ago
- Jazz - modern and fast programming language.☆95Jun 17, 2022Updated 3 years ago
- Jazz - register-based virtual machine and programming language☆27Jan 14, 2019Updated 7 years ago
- Pure functional Lisp implemented in Rust☆208Dec 12, 2021Updated 4 years ago
- An ergonomic tracing garbage collector that supports mark 'n sweep garbage collection☆252Oct 23, 2022Updated 3 years ago
- A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧☆624May 16, 2021Updated 4 years ago
- A WIP little dependently-typed systems language☆41Aug 13, 2024Updated last year
- A (nearly) pure functional programming language.☆25Jan 11, 2019Updated 7 years ago
- Kempe is a compiled stack-based language☆58Sep 30, 2024Updated last year
- A clean, efficient parser combinator☆124Feb 15, 2022Updated 4 years ago
- source code for the bondi programming language☆45Feb 17, 2019Updated 7 years ago
- Zesterer's Text Editor☆36Feb 17, 2026Updated 2 weeks ago
- Common Lisp DSL for building untyped lambda calculus expressions☆26Dec 3, 2024Updated last year
- Compositional type checking for Haskell☆38Apr 14, 2011Updated 14 years ago
- A Haskell derived programming language for systems development.☆14Sep 18, 2018Updated 7 years ago
- Submission for Game Off 2020 - Bullet hell in space☆14Dec 16, 2020Updated 5 years ago
- File format and optimizer for programs encoded in binary lambda calculus☆17Jan 21, 2024Updated 2 years ago
- Type-Level Programming in Rust☆27Dec 29, 2021Updated 4 years ago
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,158Mar 23, 2025Updated 11 months ago
- GPU Accelerated, Distributed, Actor Model Language (WIP)☆30Jun 21, 2023Updated 2 years ago
- Multipurpose calculator with coalescing written in Rust☆22Dec 29, 2019Updated 6 years ago
- A simple prolog implementation in Rust☆26Nov 14, 2020Updated 5 years ago
- Forth for Rust's trait system☆233Jun 12, 2020Updated 5 years ago
- An interpreter of F-ing modules☆19Jun 21, 2019Updated 6 years ago
- 2D game engine for Common Lisp☆12Jun 5, 2012Updated 13 years ago
- Ikko language☆26Oct 4, 2020Updated 5 years ago
- A portable programming language with a compact intermediate representation☆746Jan 20, 2023Updated 3 years ago
- A simple ML-like programming language with subtyping and full type inference.☆188Dec 1, 2024Updated last year
- A minimalist, general-purpose programming language based on meta-programming and parse tree rewrites☆283Feb 5, 2023Updated 3 years ago