Simple and powerful programming language with type inference
☆24Feb 17, 2017Updated 9 years ago
Alternatives and similar repositories for Opal
Users that are interested in Opal are comparing it to the libraries listed below
Sorting:
- A programming language focused on concurrency and low memory usage☆12Apr 29, 2019Updated 6 years ago
- A general purpose, dynamic, functional programming language with strong support for concurrency.☆33Dec 16, 2021Updated 4 years ago
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆28Nov 12, 2025Updated 3 months ago
- 🍒 Cherry programming language 🍒☆14Sep 18, 2024Updated last year
- Rust-based Scheme Compiler, written in the Nanopass style☆12Jun 12, 2018Updated 7 years ago
- A very basic Lisp + Erlang-style processes, on a virtual machine☆10Aug 24, 2016Updated 9 years ago
- A one-stop font atlas generator☆14Jan 27, 2018Updated 8 years ago
- Reversible programming language☆12Dec 7, 2019Updated 6 years ago
- [WIP] Compiler for the Limonite programming language.☆15Jul 7, 2022Updated 3 years ago
- Pawns functional/imperative programming language compiler etc☆11Apr 16, 2025Updated 10 months ago
- Lua with more or less typing. You type less; we type check.☆14Jan 1, 2026Updated 2 months ago
- Label dependent dependent session types☆16May 2, 2024Updated last year
- ☆19Sep 3, 2018Updated 7 years ago
- An object-oriented dialect of Scheme☆61Jan 11, 2026Updated last month
- quick c☆36Mar 19, 2022Updated 3 years ago
- The official Github Repo and Download for the FNAF Mod☆10Nov 10, 2015Updated 10 years ago
- The Vist programming language☆14Feb 21, 2017Updated 9 years ago
- PolyRPC, A multi-tier functional programming language☆20Oct 4, 2022Updated 3 years ago
- Zero overhead tracing garbage collection for rust (WIP)☆50Jun 30, 2024Updated last year
- Session types in Idris2!☆27Dec 14, 2020Updated 5 years ago
- Fast translucent object rendering with GLSL.☆21Jul 10, 2016Updated 9 years ago
- A pure functional type-inferred language based on JavaScript☆58May 7, 2023Updated 2 years ago
- A kernel with a purpose - to keep most of the code out of the kernel☆15Jun 30, 2019Updated 6 years ago
- A collection of lua util functions☆20Jul 16, 2025Updated 7 months ago
- MIRROR of https://codeberg.org/catseye/ALPACA : A Language for the Pithy Articulation of Cellular Automata☆23Oct 27, 2023Updated 2 years ago
- ✏️ VSL: Versatile, Safe, Language☆22Aug 4, 2019Updated 6 years ago
- Convert ASCII messages into sine waves☆22Apr 10, 2018Updated 7 years ago
- ☆23Apr 9, 2016Updated 9 years ago
- Experimental MLIR Rust compiler☆28Sep 3, 2023Updated 2 years ago
- A static strongly typed object oriented programming language with focus on composition☆23Aug 25, 2020Updated 5 years ago
- A meta-language for OCaml. (Unreleased)☆26Aug 29, 2025Updated 6 months ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆33May 2, 2025Updated 10 months ago
- HTSQL is a comprehensive navigational query language for relational databases. HTSQL is designed for data analysts and other accidental p…☆28Aug 11, 2020Updated 5 years ago
- Rust bindings for libgccjit☆30Jan 30, 2026Updated last month
- Collection of composable P2P libraries☆26Aug 27, 2021Updated 4 years ago
- Derived from Ypsilon (fujita-y/ypsilon) for experimental research☆27Updated this week
- Prototype implementations of systems based on setoid type theory☆66Nov 29, 2020Updated 5 years ago
- ncurses mpd client written in scheme☆29Sep 8, 2020Updated 5 years ago
- A super-fast, stack-based virtual machine for dynamic languages☆75Mar 3, 2025Updated last year