A Rust-like language with immix GC and other cool stuffs
☆78May 11, 2025Updated 9 months ago
Alternatives and similar repositories for pivot-lang
Users that are interested in pivot-lang are comparing it to the libraries listed below
Sorting:
- 华中科技大学Linux协会（HUSTLUG）开源镜像站☆12Oct 26, 2023Updated 2 years ago
- Immix GC for LLVM based languages☆15Apr 2, 2025Updated 11 months ago
- Create a multi-tier Just-in-time compiler in 10 minutes!☆15Dec 20, 2016Updated 9 years ago
- 疲労困憊していても書ける優しいプログラミング言語のコンパイラ☆11Dec 25, 2025Updated 2 months ago
- Project moved☆10Dec 8, 2025Updated 2 months ago
- A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf☆15Mar 27, 2025Updated 11 months ago
- 🍓 A toy object-oriented programming language written by rust☆17Apr 10, 2024Updated last year
- A simple resume template written in LaTeX with docker☆10Feb 6, 2023Updated 3 years ago
- The Functional Virtual Machine.☆14Dec 18, 2024Updated last year
- A programming language inspired by Lua and Python.☆12Jan 13, 2026Updated last month
- Industrial Cybersecurity Conference Index☆13Mar 11, 2024Updated last year
- 简陋的抢课脚本☆14Sep 16, 2021Updated 4 years ago
- 🐒 The Blow Your Mind Conference☆15Dec 21, 2025Updated 2 months ago
- Learn to code with Wipple.☆38Updated this week
- Simply Typed Lambda Calculus with de Bruijn indices☆16Mar 20, 2025Updated 11 months ago
- Orange is a modern systems programming language designed for developers who want fine-grained control without sacrificing expressiveness☆19Feb 5, 2026Updated 3 weeks ago
- Prune is a constraint logic programming language with branching heuristic.☆33Updated this week
- Implementation of Immix Mark-Region Garbage collector written in Rust Programming Language.☆37Jan 22, 2021Updated 5 years ago
- An experimental programming language for ergonomic software verification☆16Feb 5, 2026Updated 3 weeks ago
- Runtime with fast GC and easy concurrency.☆43Mar 24, 2021Updated 4 years ago
- siko☆14Jan 6, 2024Updated 2 years ago
- The Evi programming language☆16Jun 17, 2022Updated 3 years ago
- 华中科技大学(HUST)密码系课程报告与学习资料☆23Jan 29, 2024Updated 2 years ago
- Typst template mimicking acmart latex class☆28Jan 2, 2026Updated 2 months ago
- A programming language for rapid application development☆49Jan 16, 2026Updated last month
- The initial (legacy) compiler for the Gera programming language.☆24May 10, 2024Updated last year
- Interface for function inversion in Julia☆30Nov 24, 2025Updated 3 months ago
- JIT-compiled programming language. https://jarkonik.github.io/rocklang/☆23Aug 10, 2023Updated 2 years ago
- Tiny theorem prover with syntax like Lean 4 in <1K LOC☆67Jul 21, 2025Updated 7 months ago
- A programming language for one-liner method chain lovers!☆25Dec 30, 2023Updated 2 years ago
- A simple D3D12 example demonstrating how to use Intel Tier 1 Variable Rate Shading☆24Jan 3, 2024Updated 2 years ago
- Bug detection framework for finding Finger tracable bugs in Linux☆20Mar 23, 2025Updated 11 months ago
- Experimental JIT compiler generator☆29Apr 17, 2024Updated last year
- ☆22Feb 26, 2022Updated 4 years ago
- ☆32Feb 22, 2025Updated last year
- Scribe Reference Compiler☆22Aug 21, 2025Updated 6 months ago
- an implementation of Observational Type Theory (OTT) and more☆31Oct 15, 2022Updated 3 years ago
- Filter out critical open source software with our metrics☆38Dec 24, 2025Updated 2 months ago
- A statically-typed programming language☆242Updated this week