A proof of concept of a shared mathematical environment without need for version control or naming synchronization.
☆25Mar 20, 2026Updated 4 months ago
Alternatives and similar repositories for HashMath
Users that are interested in HashMath are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A distributed execution framework built upon lunatic.☆16Jan 19, 2024Updated 2 years ago
- Advent of Code 2025 done in Lean 4☆18Dec 12, 2025Updated 7 months ago
- ☆20Mar 11, 2026Updated 4 months ago
- A formalization of Shannon's seminal 1948 paper defining entropy.☆16Mar 2, 2026Updated 5 months ago
- Trinity is a two-party computation (2PC) protocol designed to minimize interaction rounds, enable input verifiability, and facilitate reu…☆27Aug 8, 2025Updated 11 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A Rust library that provides space-efficient, in-memory representations for integer vectors. It offers two complementary data structures:…☆35Mar 30, 2026Updated 4 months ago
- ☆26Apr 15, 2025Updated last year
- An interactive mode for F* in VS Code☆27Jun 4, 2026Updated 2 months ago
- Lattice zkVM (post-quantum zkVM)☆28Updated this week
- Internal Services Cluster☆21Updated this week
- ☆16Mar 23, 2026Updated 4 months ago
- OCaml bindings to the number theory library PARI/GP☆12Jan 11, 2025Updated last year
- a decentralized dataset generator and manipulator.☆22Updated this week
- a logic-based trust-management system☆19Sep 17, 2012Updated 13 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆32Updated this week
- Lean 4 tactic library for closing proofs across applied mathematics. Probability, statistics, biology, chemistry, economics, engineering,…☆16Jul 20, 2026Updated 2 weeks ago
- ☆11Sep 10, 2024Updated last year
- Go B Compiler, a working B compiler that is fully compliant with B, with nice warnings and errors, configurable via standard flags like -…☆15Oct 12, 2025Updated 9 months ago
- A Hyperlight VMM wrapper with out-of-the-box support for running Nanvix microkernel guests☆15May 21, 2026Updated 2 months ago
- An implementation of a small subset of the Wolfram language in Haskell☆20Apr 19, 2026Updated 3 months ago
- Functional AWK. Experiment, no quality guarantees. Not aiming to be compatible with the AWK standard.☆29Dec 9, 2025Updated 7 months ago
- Official repository for CoTran: An LLM-based code translator for whole-program translation, fine-tuned using feedback from compiler and s…☆16Nov 6, 2024Updated last year
- (ACL 2025 Main) Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification - Offici…☆21Dec 26, 2025Updated 7 months 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.
- A PBT framework☆10Jul 19, 2025Updated last year
- Proof-of-concept code for beating Google's ZK proof of quantum cryptanalysis☆15Apr 17, 2026Updated 3 months ago
- ☆19Apr 2, 2026Updated 4 months ago
- A program and library for prototyping and debugging PyTorch models in Haskell☆15Aug 11, 2023Updated 2 years ago
- ☆13Jan 23, 2022Updated 4 years ago
- 🐺 Simple STARK verifier in cameligo☆11Jun 5, 2023Updated 3 years ago
- NixOS Module and Packages for PineNote☆15Jul 9, 2026Updated 3 weeks ago
- 126 Byte compiler☆20May 4, 2026Updated 3 months ago
- First class patterns and pattern matching, using type families☆18Nov 6, 2020Updated 5 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.
- Elliptic curve operations written in rust.☆12Jul 16, 2024Updated 2 years ago
- Python client to interact with the lean4 language server.☆46Jul 28, 2026Updated last week
- Chess in Lean 4☆37Feb 14, 2026Updated 5 months ago
- Code for "Trajectory Inspection: A Method for Iterative Clinician-Driven Design of Reinforcement Learning Studies"☆16Oct 15, 2020Updated 5 years ago
- FM-index for Rust☆25Jun 29, 2026Updated last month
- Formal proof in Coq of Banach-Tarski paradox.☆19Mar 26, 2026Updated 4 months ago
- OCaml ctypes bindings to llama.cpp☆16Jan 23, 2024Updated 2 years ago