A Rust-like language with immix GC and other cool stuffs
☆79May 11, 2025Updated last year
Alternatives and similar repositories for pivot-lang
Users that are interested in pivot-lang are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Immix GC for LLVM based languages☆17Apr 2, 2025Updated last year
- blog with go☆11Jul 5, 2023Updated 2 years ago
- 华中科技大学Linux协会（HUSTLUG）开源镜像站☆12Oct 26, 2023Updated 2 years ago
- 疲労困憊していても書ける優しいプログラミング言語のコンパイラ☆11Dec 25, 2025Updated 5 months ago
- Create a multi-tier Just-in-time compiler in 10 minutes!☆15Dec 20, 2016Updated 9 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.
- A Tiny, Friendly Companion to LLVM☆47Jan 12, 2026Updated 5 months ago
- A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf☆15Mar 27, 2025Updated last year
- Volume 1, The Sockets Networking API.☆18Dec 27, 2021Updated 4 years ago
- A programming language inspired by Lua and Python.☆12Feb 27, 2026Updated 3 months ago
- The Sim programming language, a strongly typed, compiled programming language with a goal of simplicity. Sim是一门简洁的、强类型的编译型语言。☆12May 11, 2026Updated last month
- 🍓 A toy object-oriented programming language written by rust☆17Apr 10, 2024Updated 2 years ago
- Explore the http3 by quic with examples☆15Jul 28, 2022Updated 3 years ago
- The Functional Virtual Machine.☆14Dec 18, 2024Updated last year
- 简陋的抢课脚本☆15Sep 16, 2021Updated 4 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.
- Orange is a modern systems programming language designed for developers who want fine-grained control without sacrificing expressiveness☆20Updated this week
- Simply Typed Lambda Calculus with de Bruijn indices☆19Mar 20, 2025Updated last year
- 🐒 The Blow Your Mind Conference☆15Updated this week
- A Haskell 2010 type checker☆17Feb 25, 2024Updated 2 years ago
- ☆19Oct 5, 2023Updated 2 years ago
- Prune is a constraint logic programming language with branching heuristic.☆38Jun 4, 2026Updated last week
- Project moved☆10Dec 8, 2025Updated 6 months ago
- Combinator methods for `std::AsyncIterator` using all the new `async` superpowers☆10Feb 15, 2024Updated 2 years ago
- A programming language for one-liner method chain lovers!☆24Dec 30, 2023Updated 2 years 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.
- A compile-to-JavaScript language with tight TypeScript integration.☆23Oct 15, 2023Updated 2 years ago
- Typst template mimicking acmart latex class☆33Jan 2, 2026Updated 5 months ago
- A repository to store code implementing common features, algorithms, and datastructures that are generally useful to terra code☆23Aug 6, 2021Updated 4 years ago
- 华中科技大学(HUST)密码系课程报告与学习资料☆23Jan 29, 2024Updated 2 years ago
- 华科寝室简易门禁☆30Mar 30, 2022Updated 4 years ago
- an implementation of Observational Type Theory (OTT) and more☆31Oct 15, 2022Updated 3 years ago
- Learn to code with Wipple.☆38Updated this week
- Implementation of LLVM compiler plugin for garbage collection☆21Dec 24, 2014Updated 11 years ago
- A programming language for rapid application development☆50Jan 16, 2026Updated 4 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- hindley-milner algorithm☆64Jun 3, 2023Updated 3 years ago
- ☆11Dec 27, 2021Updated 4 years ago
- siko☆14Jan 6, 2024Updated 2 years ago
- "Generic generics" / higher-kinded APIs in stable Rust.☆20Dec 8, 2025Updated 6 months ago
- ☆34Apr 18, 2026Updated last month
- An experimental programming language for ergonomic software verification☆16Jun 6, 2026Updated last week
- an educational compiler intermediate representation☆766May 18, 2026Updated 3 weeks ago