Ancestor/descendant tree from Mathematics Genealogy Project, rendered to HTML
☆20Apr 22, 2024Updated 2 years ago
Alternatives and similar repositories for mathcestor
Users that are interested in mathcestor 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 Bitcoin blockchain parser in pure Julia☆10Feb 10, 2020Updated 6 years ago
- ☆16Feb 8, 2020Updated 6 years ago
- an automatic math notetaker☆24Sep 3, 2026Updated 2 months ago
- An event based Discrete Event Simulation engine☆21Oct 7, 2021Updated 5 years ago
- Open Domain Question Answering☆15Mar 7, 2014Updated 12 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.
- Template to create a pyo project on the bela platform☆12Jun 18, 2018Updated 8 years ago
- Library for querying in-memory facts using datalog☆13May 19, 2025Updated last year
- Early stopping criteria for loss-generating iterative algorithms☆27Oct 17, 2026Updated 2 weeks ago
- A Rational Defense of Reasonable Reflection (LICS'26 Keynote)☆10Jul 21, 2026Updated 3 months ago
- Transfer entropy (conditional mutual information) estimators for the Julia language☆13Nov 6, 2022Updated 3 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years ago
- Use TinyGo to create the basic WebGL triangle in Wasm. About 9.5kB compressed.☆10Feb 29, 2020Updated 6 years ago
- Clojure bindings for Hegel, a property-based testing system.☆11Oct 9, 2026Updated 3 weeks ago
- Static Huffman coding☆10Apr 3, 2017Updated 9 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- C23 Checked Arithmetic☆10Nov 14, 2025Updated 11 months ago
- Sinkhorn divergences for measures of unequal mass☆14Nov 19, 2023Updated 2 years ago
- A collection of free stuff you can get at the Massachusetts Institute of Technology.☆61Apr 16, 2025Updated last year
- A collection of very basic allocators. Written with WebAssembly in mind.☆15Jan 12, 2024Updated 2 years ago
- Sliding Window Inference for Network Generation☆10Feb 14, 2018Updated 8 years ago
- Code from CS152 lectures☆14Apr 13, 2026Updated 6 months ago
- A Docker image for running the ACL2 theorem proving system and books in JupyterLab.☆14Oct 18, 2026Updated 2 weeks ago
- explore the static call graphs of wasms☆11Dec 3, 2025Updated 11 months ago
- Repackage a Chrome extension to be loaded via Electron's `addDevToolsExtension`☆16Jul 6, 2017Updated 9 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.
- A LaTeX/TikZ rendering template for plotting some "quantified self" data against a UTC x-axis.☆15Jan 6, 2022Updated 4 years ago
- Efficient, opinionated remote LSP client for notebooks☆15May 23, 2025Updated last year
- Easy communication for workers and more☆16Jan 16, 2026Updated 9 months ago
- Deep Learning (PyTorch) Models Deployment using SQL databases☆10Jul 25, 2021Updated 5 years ago
- Disjoint-set data structure for Go☆11Jan 13, 2024Updated 2 years ago
- work in progress book on Scientific Computing in Lean☆14Mar 1, 2025Updated last year
- variations on lisp, exploring reflection☆12Jun 21, 2025Updated last year
- Atomic Scala Book Solutions - for Beginners and first time Functional Programmers☆12Mar 10, 2020Updated 6 years ago
- Jepsen tests for the NATS streaming system☆13Dec 2, 2025Updated 11 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A Xanalogical System for the Creation of New Literature☆13May 12, 2019Updated 7 years ago
- ☆15Apr 7, 2026Updated 6 months ago
- Block-level copy-on-write tool☆18Dec 17, 2024Updated last year
- Hey! An Interruption and Time Tracking Command line app.☆13Nov 19, 2024Updated last year
- GPU text and vector rendering via direct Bezier curve evaluation.☆15Oct 5, 2026Updated 3 weeks ago
- Datastar without unsafe-eval or unsafe-inline (Go package)☆10Sep 21, 2026Updated last month
- Additional 3rd party software used in Playbit. See playbit/public for most 3rd party software☆13Jul 14, 2025Updated last year