Simple conservative GC using mimalloc
☆41Nov 17, 2022Updated 3 years ago
Alternatives and similar repositories for migc
Users that are interested in migc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Zig bindings for the `libuv` library☆13Jan 19, 2023Updated 3 years ago
- FerrisGC is a thread safe Garbage Collector implementation for Global (between threads) and Local (per thread) Garbage Collector☆20Jul 23, 2026Updated 2 months ago
- Learn Compiler Writing with the Feeny Programming Language☆13Feb 24, 2020Updated 6 years ago
- A Discord bot for the Community Rust Language server, written in Python.☆18Jul 20, 2023Updated 3 years ago
- type-system, revised unification algorithm and runtime time representations☆13Dec 12, 2019Updated 6 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- The Ribbon programming language☆11Jan 25, 2022Updated 4 years ago
- A rust crate which implements nanboxing☆22Oct 18, 2017Updated 8 years ago
- A scripting language that calculates the worst-case execution time (WCET) before executing each script. Ideal for multi-tenant microservi…☆36Mar 28, 2025Updated last year
- egg is a flexible, high-performance e-graph library☆13Apr 5, 2024Updated 2 years ago
- Experimental Language based on Rust and Haskell☆55Jan 10, 2017Updated 9 years ago
- async/await for continuation-passing style functions☆22Jun 14, 2022Updated 4 years ago
- rv6 is a kernel & operating system written entirely in rust.☆11Nov 7, 2019Updated 6 years ago
- Non-Moving, Incremental, and Generational Quad-Color Garbage Collector (http://wiki.luajit.org/New-Garbage-Collector)☆81Apr 28, 2024Updated 2 years ago
- ☆12Jul 7, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- An experimental method JIT for CPython 3☆31May 18, 2016Updated 10 years ago
- Multimode simple type theory as an Agda library.☆22Sep 18, 2024Updated 2 years ago
- lang lua for racket☆22Dec 14, 2022Updated 3 years ago
- A nano "theorem prover".☆63Feb 15, 2019Updated 7 years ago
- C0 Programming Language☆61Mar 6, 2023Updated 3 years ago
- C-like programming language☆10Jul 18, 2025Updated last year
- compiles scheme-like s-expressions to c☆26Jun 28, 2026Updated 2 months ago
- A graphical user interface for implicitcad☆25Dec 15, 2020Updated 5 years ago
- A small NuPRL style proof assistant☆31Jan 31, 2019Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- In-Browser Jupyter Notebook Alternative for Javascript REPL without Nodejs Kernel☆12Jun 26, 2023Updated 3 years ago
- Aligned allocation for Rust☆15Oct 27, 2020Updated 5 years ago
- ☆12Nov 3, 2021Updated 4 years ago
- Cell language C++ runtime☆18Oct 1, 2020Updated 5 years ago
- okta programming language compiler. THIS IS A MIRROR OF THE ORIGINAL REPO HOSTED IN SOURCEHUT.☆27May 1, 2022Updated 4 years ago
- NumPy for Chez Scheme☆19Oct 2, 2020Updated 5 years ago
- A simple spinlock crate based on the abstractions provided by the `lock_api` crate.☆44Feb 20, 2026Updated 7 months ago
- A binary implementation of ULID in Zig.☆26Aug 24, 2026Updated 3 weeks ago
- A collection of tools for building concurrent systems☆31Feb 2, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An extremely fast JavaScript bundler and minifier☆19Sep 16, 2023Updated 3 years ago
- The most minimal C you can do real work in☆16May 8, 2022Updated 4 years ago
- Regex Engine using SIMD and Roaring-Bitmaps☆11Dec 26, 2022Updated 3 years ago
- D programming language syntax highlighting file for GNU nano editor☆12Nov 24, 2020Updated 5 years ago
- Vox language compiler. AOT / JIT / Linker. Zero dependencies☆375Oct 2, 2025Updated 11 months ago
- Yet another python JIT.☆20Mar 22, 2023Updated 3 years ago
- Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master☆25Jun 2, 2020Updated 6 years ago