An interactive exploration of various number formats
☆31Nov 8, 2024Updated last year
Alternatives and similar repositories for numbers
Users that are interested in numbers are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Template for solving Advent of Code 2023 in Haskell☆11Dec 3, 2023Updated 2 years ago
- Elegant UCI chess engine in Haskell☆13Jan 21, 2025Updated last year
- UmPlot: A plotting library for Umka☆13Jun 8, 2024Updated 2 years ago
- Prolog syntax-highlighting for vim.☆11Aug 25, 2013Updated 13 years ago
- An experimental OCaml-to-C compiler for type-safe accesss to SIMD (unreleased)☆20Jan 25, 2024Updated 2 years 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.
- Bidirectional mapping between two key types☆21May 1, 2024Updated 2 years ago
- ☆12Feb 15, 2023Updated 3 years ago
- Write retro video games in AssemblyScript.☆13Jan 23, 2025Updated last year
- Random Data Generator for arbitrary data types☆29Mar 23, 2023Updated 3 years ago
- Automatically exported from code.google.com/p/knitml☆13Aug 6, 2015Updated 11 years ago
- Formalisation of a capability machine and principles for reasoning about security properties☆27Updated this week
- Zig compiler compiled to WASM☆20Apr 17, 2024Updated 2 years ago
- An Anki add-on that imports bookmarks from the Chinese dictionary app Pleco into flashcards, with automatic pinyin conversion and formatt…☆28Mar 28, 2026Updated 6 months ago
- [in-Development] There's life without social media and internet? Really? Send me the link☆14Jan 23, 2026Updated 8 months ago
- 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.
- Bruno Nightly Release Builds☆14Updated this week
- Basic functions from pure lambda-calculus - from boolean logic to prime numbers sequences☆16Apr 26, 2017Updated 9 years ago
- Pretty-printing for error source locations☆39Jun 1, 2022Updated 4 years ago
- live data flow environment for digital fabrication☆15Aug 7, 2023Updated 3 years ago
- Virtual Circuit Board blueprint tool☆11May 27, 2022Updated 4 years ago
- Chrome extension that uses Code LLama to solve LeetCode problems in Real Time☆15Sep 23, 2023Updated 3 years ago
- vim.wasm Jupyter Integration☆20Jul 20, 2019Updated 7 years ago
- Language server and VS Code extension for Menhir and Ocamllex☆15Updated this week
- Property-based testing for OCaml, built on Hypothesis☆24Updated this week
- 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.
- C adaptation of the swiss table (flat hash map) presented at CppCon by Google (https://www.youtube.com/watch?v=ncHmEUmJZf4).☆22Aug 14, 2019Updated 7 years ago
- Tang Nano 9K top level module for vectrex☆14Dec 18, 2022Updated 3 years ago
- An accessible Forth written in machine code for the RISC-V architecture.☆25Jan 19, 2026Updated 8 months ago
- Compile Stan models to WebAssembly.☆15May 14, 2023Updated 3 years ago
- JupyterLab extension to open files passed via a URL parameter.☆15Sep 13, 2026Updated last month
- Gamified training platform for quantitative finance interviews. Full stack application developed with JavaScript (TypeScript & Next.js) a…☆12Dec 19, 2024Updated last year
- WebAssembly modules written directly in WebAssembly text☆17Dec 17, 2021Updated 4 years ago
- An emulated LED scoreboard for Major League Baseball ⚾☆11Apr 8, 2022Updated 4 years ago
- Rust implementation of the rectcut algorithm described in https://halt.software/dead-simple-layouts/☆18Feb 13, 2023Updated 3 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.
- ☆17Jun 9, 2024Updated 2 years ago
- A ppx that takes in css strings and produces a module for accessing the unique names defined within.☆17Jul 10, 2026Updated 3 months ago
- FUSION is an open-source project aimed at revolutionizing networking through the simulation of advanced SD-EONs and AI-enhanced networks,…☆16Updated this week
- Revamp ocaml-manual☆11Oct 18, 2020Updated 5 years ago
- µKanren in JavaScript☆13Jan 22, 2014Updated 12 years ago
- Editor is an experimental HTTP/HTTPS server exposing webpages that can still be modified from the browser.☆21Oct 2, 2023Updated 3 years ago
- Rob Pike's simple regex matcher converted to Go☆11Aug 14, 2022Updated 4 years ago