the Bovine JVM
☆28May 7, 2025Updated 9 months ago
Alternatives and similar repositories for b-jvm
Users that are interested in b-jvm are comparing it to the libraries listed below
Sorting:
- A low level, expressive language☆14Dec 12, 2024Updated last year
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆12May 13, 2025Updated 9 months ago
- egg is a flexible, high-performance e-graph library☆13Apr 5, 2024Updated last year
- File format and optimizer for programs encoded in binary lambda calculus☆17Jan 21, 2024Updated 2 years ago
- ☆20Apr 6, 2025Updated 10 months ago
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆21Dec 30, 2023Updated 2 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆25Oct 22, 2023Updated 2 years ago
- An implementation of "Regular Expression Matching: the Virtual Machine Approach"☆26Aug 20, 2024Updated last year
- JamVM (lightweight Java Virtual Machine) but built with CMake☆24Mar 12, 2024Updated last year
- ☆29Sep 27, 2019Updated 6 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆33May 2, 2025Updated 10 months ago
- ✅ Tools for running the test262 ECMAScript test suite with SerenityOS's JavaScript engine (LibJS)☆30Jul 21, 2023Updated 2 years ago
- A bignum library for C.☆33Jul 9, 2024Updated last year
- A from-scratch neural network and transformers library, with speeds rivaling PyTorch☆10Mar 16, 2025Updated 11 months ago
- A set of tools that make working with the Scala ecosystem even better.☆12Updated this week
- Self-hosting C toolchain, from scratch☆36Feb 7, 2025Updated last year
- R package for the United Nations World Population Prospects 2024☆18Jun 24, 2025Updated 8 months ago
- bayesPop R package☆11Feb 23, 2026Updated last week
- My personal site.☆10Feb 23, 2026Updated last week
- okami is an application development platform☆39Aug 15, 2025Updated 6 months ago
- Sources of the EuroProofNet web site.☆13Updated this week
- Language mixing functional programming and Ambient Calculus☆12Dec 10, 2024Updated last year
- UNIXv7 ported to RISC-V, specifically the Longnan Nano SBC☆13Mar 30, 2023Updated 2 years ago
- A compact, configurable RISC-V core☆13Jul 31, 2025Updated 7 months ago
- CMake dependency tracking library☆13Feb 22, 2026Updated last week
- A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler☆43Feb 23, 2026Updated last week
- ☆15Feb 6, 2026Updated 3 weeks ago
- A C++ template library for polynomials algebra over discrete integral domains☆11May 9, 2025Updated 9 months ago
- Simple conservative GC using mimalloc☆41Nov 17, 2022Updated 3 years ago
- USI shogi engine☆15Updated this week
- A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…☆52Jul 3, 2025Updated 8 months ago
- TinyVecDB is an ultra fast embedded vector database.☆52Apr 3, 2025Updated 11 months ago
- 2048, but the RNG is always against you☆10Aug 4, 2023Updated 2 years ago
- Github Actions wrapper for vmtest☆12Jan 10, 2025Updated last year
- Debugging WebAssembly? Put some Whamm! on it.☆85Feb 12, 2026Updated 3 weeks ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 7 years ago
- A general, modular build system.☆18Aug 13, 2025Updated 6 months ago
- A Python JIT compiler☆12May 29, 2019Updated 6 years ago
- Haskell Enforcer of user specified code standards☆22Feb 10, 2026Updated 3 weeks ago