A Rust-like language with immix GC and other cool stuffs
☆78May 11, 2025Updated 11 months ago
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☆16Apr 2, 2025Updated last year
- blog with go☆11Jul 5, 2023Updated 2 years ago
- 华中科技大学Linux协会（HUSTLUG）开源镜像站☆12Oct 26, 2023Updated 2 years ago
- A Tiny, Friendly Companion to LLVM☆47Jan 12, 2026Updated 3 months ago
- A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf☆15Mar 27, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Volume 1, The Sockets Networking API.☆18Dec 27, 2021Updated 4 years ago
- A programming language inspired by Lua and Python.☆12Feb 27, 2026Updated 2 months ago
- Partial evaluation of Python code☆22Mar 2, 2023Updated 3 years ago
- The Functional Virtual Machine.☆14Dec 18, 2024Updated last year
- Orange is a modern systems programming language designed for developers who want fine-grained control without sacrificing expressiveness☆19Feb 5, 2026Updated 2 months ago
- Simply Typed Lambda Calculus with de Bruijn indices☆17Mar 20, 2025Updated last year
- 🐒 The Blow Your Mind Conference☆15Apr 22, 2026Updated last week
- ☆10May 16, 2025Updated 11 months ago
- A Haskell 2010 type checker☆17Feb 25, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆19Oct 5, 2023Updated 2 years ago
- Rust type erased vector.☆22Aug 25, 2025Updated 8 months ago
- Project moved☆10Dec 8, 2025Updated 4 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
- VecOption<T> is a specialized collection (in Rust), which is a more efficient replacement for Vec<Option<T>>.☆15Aug 14, 2019Updated 6 years ago
- A small general purpose programming language for programming on the JVM.☆18Feb 3, 2025Updated last year
- A repository to store code implementing common features, algorithms, and datastructures that are generally useful to terra code☆23Aug 6, 2021Updated 4 years ago
- A compile-to-JavaScript language with tight TypeScript integration.☆23Oct 15, 2023Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- An optimal O(n) algorithm for single-robot Coverage Path Planning (CPP), implemented in Julia.☆12Jan 8, 2022Updated 4 years ago
- an implementation of Observational Type Theory (OTT) and more☆31Oct 15, 2022Updated 3 years ago
- Learn to code with Wipple.☆38Apr 5, 2026Updated 3 weeks ago
- Zurfur is a programming language taking inspiration from C#, Golang and Javascript☆12Jul 6, 2025Updated 9 months ago
- A programming language for rapid application development☆49Jan 16, 2026Updated 3 months ago
- hindley-milner algorithm☆64Jun 3, 2023Updated 2 years ago
- Circular Geo fencing for react apps.☆16Feb 23, 2026Updated 2 months ago
- siko☆14Jan 6, 2024Updated 2 years ago
- ☆32Apr 18, 2026Updated 2 weeks 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.
- An experimental programming language for ergonomic software verification☆16Apr 24, 2026Updated last week
- an educational compiler intermediate representation☆759Feb 6, 2026Updated 2 months ago
- Optimization algorithms realized in Rust☆14Mar 10, 2020Updated 6 years ago
- The notes about programming language theory☆27May 7, 2023Updated 2 years ago
- https://nnsmith-asplos.rtfd.io Artifact of "NNSmith: Generating Diverse and Valid Test Cases for Deep Learning Compilers" ASPLOS'23☆11Mar 29, 2023Updated 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