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:
- 🧮 | Writing an Equation Solver☆34Aug 5, 2023Updated 2 years ago
- ☆12Apr 7, 2021Updated 4 years ago
- 🍞 | IDE focused programming language study☆39Mar 4, 2024Updated 2 years ago
- a JVM bytecode assembler☆34Apr 2, 2019Updated 6 years ago
- Glide is an interpreted javascript VM written entirely in safe rust.☆16Sep 25, 2023Updated 2 years ago
- 🦊 | A language that compiles to LLVM and has algebraic effects☆110Nov 26, 2023Updated 2 years ago
- Minimal Prolog implemented in Rust☆46Feb 2, 2026Updated last month
- 98% black and white monochrome theme for Zed Editor☆38Mar 16, 2025Updated last year
- Normalization by evaluation of simply typed combinators.☆26Feb 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.☆13Mar 12, 2026Updated last week
- Interpreted programming language written in Python☆14Aug 5, 2023Updated 2 years ago
- Experimental JIT compiler generator☆29Apr 17, 2024Updated last year
- A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf☆15Mar 27, 2025Updated 11 months ago
- unloading modules with ocaml native☆16Dec 13, 2020Updated 5 years ago
- Idris Version Manager☆16Feb 23, 2025Updated last year
- 🧊 An indexed construction of semi-simplicial and semi-cubical sets☆30Updated this week
- A MinCaml compiler implemented in Rust☆46Mar 3, 2026Updated 2 weeks ago
- ☆39Jan 23, 2021Updated 5 years ago
- Lisp compiler using Rust☆21Dec 4, 2023Updated 2 years ago
- locerr (locational error): Library for nice-looking errors in source code☆17Jul 10, 2017Updated 8 years ago
- Odin bindings for fasm, the flat assembler☆11Mar 20, 2025Updated last year
- A tiny OCaml compiler with JVM backend 🐫☕️☆11Mar 12, 2019Updated 7 years ago
- A compiler for a strongly typed, haskell-like functional language☆22Feb 1, 2018Updated 8 years ago
- simple web☆28Aug 3, 2024Updated last year
- A collection of crates to make minecraft development (client, server) with rust possible.☆17Mar 23, 2023Updated 3 years ago
- AVR Simulator to run Atmel code on desktop pc☆14Oct 2, 2017Updated 8 years ago
- Fault-Tolerant Pure Functional Programming Language For JVM☆10Apr 6, 2022Updated 3 years ago
- Libgit2 bindings for Idris 2☆13Sep 10, 2020Updated 5 years ago
- A functional programming language☆15Jul 23, 2025Updated 8 months ago
- Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications☆19Nov 26, 2024Updated last year
- wecs (wckd-ecs) is a simple ECS library suitable for general use.☆10Sep 12, 2024Updated last year
- A TOML parser for Idris 2☆17Jun 27, 2024Updated last year
- ☆14Feb 14, 2025Updated last year
- ☆22Apr 12, 2024Updated last year
- ☆11Jun 18, 2024Updated last year
- Proof of concept for a 2d game, made with Bevy and LDtk☆28Nov 26, 2023Updated 2 years ago