A bignum library for C.
☆33Jul 9, 2024Updated last year
Alternatives and similar repositories for bignum
Users that are interested in bignum are comparing it to the libraries listed below
Sorting:
- File format and optimizer for programs encoded in binary lambda calculus☆17Jan 21, 2024Updated 2 years ago
- A very basic Lisp + Erlang-style processes, on a virtual machine☆10Aug 24, 2016Updated 9 years ago
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- Tiny vi text editor clone with enough features to be truly useful☆15Feb 14, 2024Updated 2 years ago
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Feb 10, 2026Updated 3 weeks ago
- Code from the 2012 Scheme Workshop paper by Byrd, Holk, and Friedman, "miniKanren, Live and Untagged: Quine Generation via Relational Int…☆15Feb 27, 2025Updated last year
- Code to go with my article "The AWK book's 60-line version of Make"☆15Sep 10, 2023Updated 2 years ago
- ☆15Dec 31, 2022Updated 3 years ago
- A low level, expressive language☆14Dec 12, 2024Updated last year
- Lambda Calculus compiler targeting x86, written in Racket☆11Jun 14, 2020Updated 5 years ago
- ET Accelerator Firmware and Runtime☆35Feb 18, 2026Updated 2 weeks ago
- 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
- SOM++ - C++ implementation of the Simple Object Machine Smalltalk☆15Aug 19, 2025Updated 6 months ago
- An illustration of good taste in code☆13Aug 2, 2024Updated last year
- A collection of lambda calculus interpreters and development tools☆16Oct 9, 2022Updated 3 years ago
- JSON parser in c☆16Apr 1, 2025Updated 11 months ago
- Minimal Lisp/Forth☆11Jan 5, 2025Updated last year
- PigletQL - example SQL-like language interpreter☆16Jan 22, 2020Updated 6 years ago
- A lightweight concurrency library for C, featuring symmetric coroutines as the main control flow abstraction.☆12Sep 9, 2015Updated 10 years ago
- Typescript implementation of Relaxed Radix Balanced Trees☆19Sep 15, 2024Updated last year
- A CHIP-8 emulator in C.☆18Aug 22, 2022Updated 3 years ago
- Algorithmic musical phrase generator☆29Feb 26, 2021Updated 5 years ago
- The most minimal C you can do real work in☆16May 8, 2022Updated 3 years ago
- Raw bindings to platform APIs for OCaml☆16Mar 18, 2024Updated last year
- Simulation Foundations Book, in Russian☆17Nov 18, 2025Updated 3 months ago
- Teeny Tiny Compiler built in Rust☆16Dec 9, 2023Updated 2 years ago
- An implementation of Cheney style garbage collection for cons cells and atomic data. Heap resizing is also permitted either explicitly an…☆13Dec 28, 2017Updated 8 years ago
- Simple parser for Python marshal serialization and pyc files☆22Jan 23, 2026Updated last month
- SOM - Simple Object Machine (plain Java implementation)☆19Aug 19, 2025Updated 6 months ago
- Yet another lisp interpreter☆18Feb 24, 2025Updated last year
- Bibliography of Scheme-related Research☆16Apr 11, 2019Updated 6 years ago
- SIOF (Scheme In One File) is a minimal interpreter for R7RS Scheme☆76May 5, 2022Updated 3 years ago
- TinyVecDB is an ultra fast embedded vector database.☆52Apr 3, 2025Updated 11 months ago
- Personal research notes☆19Oct 18, 2024Updated last year
- A tutorial on writing wasm by hand☆23Apr 4, 2022Updated 3 years ago
- Accompanying source code for the article: How to build a Semantic Search Engine in Rust☆23Nov 7, 2022Updated 3 years ago
- An optimizing compiler for a large subset of the C programming language☆26Aug 30, 2025Updated 6 months ago
- Read chapters directly from this repo - do not use GitHub Pages link.☆88Feb 9, 2026Updated 3 weeks ago
- ☆22Apr 1, 2013Updated 12 years ago