Atiny is a simple compiler for a ML like language
☆11Aug 16, 2023Updated 2 years ago
Alternatives and similar repositories for Atiny
Users that are interested in Atiny 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 with REPL and macros which will compile itself☆13Dec 4, 2024Updated last year
- Um cliente alternativo ao Positivo On☆13Jan 6, 2024Updated 2 years ago
- 🧮 | Writing an Equation Solver☆34Aug 5, 2023Updated 2 years ago
- ☆12Apr 7, 2021Updated 5 years ago
- ☁️ Comfy terminal dictionary navigator☆17Oct 28, 2024Updated last year
- 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.
- Research developed by Allele Security Intelligence.☆18Jul 21, 2025Updated 10 months ago
- 🍞 | IDE focused programming language study☆39Mar 4, 2024Updated 2 years ago
- a JVM bytecode assembler☆36Apr 2, 2019Updated 7 years ago
- Script to display Markdown documents as static HTML pages☆10Apr 20, 2025Updated last year
- Glide is an interpreted javascript VM written entirely in safe rust.☆16Sep 25, 2023Updated 2 years ago
- ☆11Feb 27, 2026Updated 2 months ago
- the crowd sourcing server for FastForward☆27Jul 19, 2023Updated 2 years ago
- Arisztokréta: Nem hivatalos KRÉTA-kompatibilis ellenőrző alkalmazás☆16Jan 5, 2024Updated 2 years ago
- 🦊 | A language that compiles to LLVM and has algebraic effects☆111Nov 26, 2023Updated 2 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.
- Ahead-of-time compiled WASM-4 runtime☆31Jul 17, 2024Updated last year
- Minimal Prolog implemented in Rust☆47Feb 2, 2026Updated 3 months ago
- 98% black and white monochrome theme for Zed Editor☆42Mar 16, 2025Updated last year
- Normalization by evaluation of simply typed combinators.☆27Feb 24, 2022Updated 4 years ago
- ASCII Roguelike prototype in Rust using bracket-lib & specs☆11Jun 5, 2022Updated 3 years ago
- JavaScript Playground similar to runkit but on top of MDX and local first☆13Oct 9, 2020Updated 5 years ago
- Practical type inference for arbitrary-rank types☆11May 25, 2019Updated 6 years ago
- Home to my personal configuration files.☆14May 14, 2026Updated last week
- Connecting bv_decide to SMTLIB.☆13May 9, 2026Updated 2 weeks 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.
- compile TypeScript or JavaScript to binaries☆21May 25, 2023Updated 2 years ago
- Interpreted programming language written in Python☆14Aug 5, 2023Updated 2 years ago
- Experimental JIT compiler generator☆29Apr 17, 2024Updated 2 years ago
- A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf☆15Mar 27, 2025Updated last year
- unloading modules with ocaml native☆16Dec 13, 2020Updated 5 years ago
- Idris Version Manager☆16Feb 23, 2025Updated last year
- FerrisGC is a thread safe Garbage Collector implementation for Global (between threads) and Local (per thread) Garbage Collector☆20Mar 22, 2026Updated 2 months ago
- 🧊 An indexed construction of semi-simplicial and semi-cubical sets☆31May 15, 2026Updated last week
- A MinCaml compiler implemented in Rust☆47Mar 3, 2026Updated 2 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- An implementation of interaction nets as a forth-like language.☆45Nov 16, 2025Updated 6 months ago
- ☆40Jan 23, 2021Updated 5 years ago
- Lisp compiler using Rust☆22Dec 4, 2023Updated 2 years ago
- Lean lens implementation with custom notation.☆17Jun 8, 2025Updated 11 months ago
- 👾 An incomplete v8 bytecode interpreter / virtual machine for a subset of instructions☆22Jan 30, 2026Updated 3 months ago
- Koto scripting support for Bevy☆22Feb 18, 2026Updated 3 months ago
- puythjonkkkjeuyminecra☆17Dec 14, 2023Updated 2 years ago