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
- 🍞 | IDE focused programming language study☆39Mar 4, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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
- Ahead-of-time compiled WASM-4 runtime☆31Jul 17, 2024Updated last year
- Minimal Prolog implemented in Rust☆47Feb 2, 2026Updated 3 months ago
- JavaScript Playground similar to runkit but on top of MDX and local first☆13Oct 9, 2020Updated 5 years ago
- Home to my personal configuration files.☆14Apr 23, 2026Updated last week
- compile TypeScript or JavaScript to binaries☆21May 25, 2023Updated 2 years ago
- Connecting bv_decide to SMTLIB.☆13Jan 5, 2026Updated 3 months ago
- Interpreted programming language written in Python☆14Aug 5, 2023Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Experimental JIT compiler generator☆29Apr 17, 2024Updated 2 years ago
- 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 last month
- A MinCaml compiler implemented in Rust☆47Mar 3, 2026Updated 2 months ago
- An implementation of interaction nets as a forth-like language.☆45Nov 16, 2025Updated 5 months ago
- Lisp compiler using Rust☆22Dec 4, 2023Updated 2 years ago
- Koto scripting support for Bevy☆22Feb 18, 2026Updated 2 months ago
- locerr (locational error): Library for nice-looking errors in source code☆18Jul 10, 2017Updated 8 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A simple JIT compiler targeting x64 for the lox programming language☆21Feb 7, 2024Updated 2 years ago
- A tiny OCaml compiler with JVM backend 🐫☕️☆11Mar 12, 2019Updated 7 years ago
- Use lucide icons in Slint applications with ease!☆21Apr 25, 2026Updated last week
- A compiler for a strongly typed, haskell-like functional language☆22Feb 1, 2018Updated 8 years ago
- A Lean 4 library for iterators.☆15Dec 10, 2023Updated 2 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 4 years ago
- Code for my mini-book "Learn Bevy's ECS by ripping off someone else's project"☆19Dec 28, 2022Updated 3 years ago
- A functional programming language☆15Jul 23, 2025Updated 9 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A JIT compiled language designed for realtime contexts☆24Apr 8, 2022Updated 4 years ago
- Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications☆19Nov 26, 2024Updated last year
- A TOML parser for Idris 2☆17Jun 27, 2024Updated last year
- Elaboration with inductive types☆16Jun 1, 2023Updated 2 years ago
- ☆14Feb 14, 2025Updated last year
- ☆22Apr 12, 2024Updated 2 years ago
- ☆11Jun 18, 2024Updated last year