An interactive exploration of various number formats
☆30Nov 8, 2024Updated last year
Alternatives and similar repositories for numbers
Users that are interested in numbers are comparing it to the libraries listed below
Sorting:
- UmPlot: A plotting library for Umka☆13Jun 8, 2024Updated last year
- An experimental OCaml-to-C compiler for type-safe accesss to SIMD (unreleased)☆19Jan 25, 2024Updated 2 years ago
- Basic functions from pure lambda-calculus - from boolean logic to prime numbers sequences☆16Apr 26, 2017Updated 8 years ago
- MPP: a meta preprocessor that blends programming languages☆32Jun 8, 2023Updated 2 years ago
- Formalisation of a capability machine and principles for reasoning about security properties☆26Jul 4, 2025Updated 7 months ago
- Random Data Generator for arbitrary data types☆29Mar 23, 2023Updated 2 years ago
- Pretty-printing for error source locations☆37Jun 1, 2022Updated 3 years ago
- This is the notes from a Hash Table in C stream.☆33Oct 25, 2023Updated 2 years ago
- bare minimum chess program☆11Sep 16, 2020Updated 5 years ago
- A game for Lounge's game jam☆10Mar 22, 2015Updated 10 years ago
- 💡 A collection of my starred repos, organized by language. Find inspiration and tools quickly!☆17Updated this week
- ☆10Oct 3, 2018Updated 7 years ago
- ☆13Mar 26, 2024Updated last year
- A simple minimax chess engine written in prolog☆11May 8, 2023Updated 2 years ago
- ☆11Sep 8, 2022Updated 3 years ago
- Provides secured REST API for sending messages to Telegram. Uses MQTT under the hood.☆11Apr 5, 2025Updated 10 months ago
- Simple OBS whiteboard/telestrator plugin☆14Aug 1, 2025Updated 7 months ago
- Less annoying Linux fan control for GPD Win Max 2☆10Oct 24, 2023Updated 2 years ago
- Invent new EAs and GA or show your students how they work.☆12Jan 29, 2026Updated last month
- Lox grammar for tree-sitter☆13Apr 23, 2023Updated 2 years ago
- VaniDL is an tool for analyzing I/O patterns and behavior with Deep Learning Applications.☆10Jul 8, 2022Updated 3 years ago
- knitout writing frontend for javascript☆16Oct 14, 2024Updated last year
- Revamp ocaml-manual☆10Oct 18, 2020Updated 5 years ago
- WASM on CloudFlare Workers☆12Aug 13, 2022Updated 3 years ago
- A project template for a shell transcript recorder in Go☆13Nov 28, 2022Updated 3 years ago
- ☆12Jan 25, 2018Updated 8 years ago
- Lisp implementation in Lua☆12Aug 9, 2014Updated 11 years ago
- A C & x86 version of the "Let's Build a Compiler" by Jack Crenshaw☆10Nov 30, 2018Updated 7 years ago
- NIF is a text based data format designed for compiler frontend/backend communication or communication between different programming langu…☆12Jan 23, 2026Updated last month
- okl4 git for porting to realview_eb RTSM platform☆15Oct 17, 2012Updated 13 years ago
- CISCO configuration guides☆14Feb 16, 2020Updated 6 years ago
- A toy programming language written in Lua☆14Dec 28, 2022Updated 3 years ago
- Rob Pike's simple regex matcher converted to Go☆11Aug 14, 2022Updated 3 years ago
- interprets lambda calculus☆10Dec 1, 2025Updated 3 months ago
- alternate implementation of partytown with cross thread global support☆14Jan 17, 2026Updated last month
- Set up a persistent tunnel (using autossh) in Debian-like systems (server side)☆10Jul 24, 2025Updated 7 months ago
- OCaml PPX extension for automatically generating Irmin types☆11Jan 14, 2020Updated 6 years ago
- Prolog implemented in Python☆12Sep 6, 2024Updated last year
- Generate a Kubeconfig or creating & updating K8s Deployments for GitHub Actions☆11Jan 28, 2024Updated 2 years ago