☆53Oct 4, 2025Updated last year
Alternatives and similar repositories for maths-for-llms
Users that are interested in maths-for-llms are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- meteora / meteora dlmm / meteora dlmm bot / meteora dlmm copy trade bot / meteora dlmm trade bot / meteora trade bot / meteora bot / pump…☆18Sep 15, 2025Updated last year
- A from-scratch Windows 98 display driver with hardware Direct3D OpenGL & Glide on the Intel GMA 950 and S3 ViRGE/DX and Trio3D/2X, 2D on …☆45Oct 11, 2026Updated last week
- Noema long-term memory plugin for DSH: durable, inspectable agent memory with recall tools and a settings page.☆129Oct 6, 2026Updated last week
- A Course in Data Structures & Algorithms, Purposeful Web Engineering, Software Construction☆10Sep 4, 2024Updated 2 years ago
- Network graphs with nodes and edges written in Elm.☆11May 30, 2017Updated 9 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- KVerus: Scalable and Resilient Formal Verification for Rust Code☆27Oct 11, 2026Updated last week
- Embedded single-node OLAP engine in Rust for CSV, Parquet, S3/MinIO, and transactional local analytics.☆31Sep 5, 2026Updated last month
- The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degre…☆11Oct 24, 2016Updated 9 years ago
- Sparse byte-range caching and async read coalescing for immutable objects such as remote index files☆33Aug 23, 2026Updated last month
- yet another C++ 3d engine☆12Jan 24, 2020Updated 6 years ago
- A small audio manipulation and playback library that's written in C++.☆17Nov 18, 2015Updated 10 years ago
- ☆12Updated this week
- A Poker Simulation Library in Mathematica☆13Mar 28, 2011Updated 15 years ago
- Your git repos as books on a 3D bookshelf. Browse, search, move, rename, open.☆18Sep 9, 2026Updated last month
- 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.
- Exploring GPU programming with CUDA from fundamentals to advanced kernels.☆88Updated this week
- SysAct is a terminal‑user‑interface (TUI) application written in Go, built with the Bubble Tea framework and Lip Gloss styling. It provid…☆14Jun 1, 2025Updated last year
- Model for provider-neutral financial data, with implementation for IEX☆14Jul 30, 2019Updated 7 years ago
- ☆16Nov 22, 2025Updated 10 months ago
- A terminal coding harness with a headless agent core☆38Updated this week
- Various ReShade shaders I've made☆14Jun 19, 2024Updated 2 years ago
- ACE View is a natural language based ontology and rule editor. ACE View uses Attempto Controlled English (ACE) in the front-end, and Web …☆11Dec 16, 2018Updated 7 years ago
- Schema inference, frontmatter validation, and semantic search for markdown directories☆27Oct 5, 2026Updated last week
- This cFS app is called Diagnostic Reasoner (DR), and as the name implies, it will diagnose a system of interest. That is, it will do faul…☆12Jul 1, 2020Updated 6 years 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.
- The model for edge classification by transforming edges to nodes.☆15Dec 22, 2020Updated 5 years ago
- Python to Rust compiler☆14Aug 28, 2022Updated 4 years ago
- Multi-platform Agent Skill aggregation and archive (skills.sh + SkillsMP + ClawHub)☆27Feb 27, 2026Updated 7 months ago
- Therefore, I have attacked [the problem of the catenary] which I had hitherto not attempted, and with my key [the differential calculus] …☆29Mar 3, 2026Updated 7 months ago
- Vue THREE.js wrapper☆10Dec 30, 2022Updated 3 years ago
- MOVED: Now at https://opendev.org/x/js-generator-openstack☆11Jul 31, 2019Updated 7 years ago
- A Zed fork with a git explorer and a graph you can check out, rebase, squash, and reset from (with undo), a merge conflict tab, in-editor…☆44Updated this week
- Decorate a class method to return and wait on a Promise on the class instance before executing☆16Mar 24, 2016Updated 10 years ago
- YAML hook automation for the PI coding agent: tool guards, session hooks, prompts, notifications, and bash actions.☆16Sep 26, 2026Updated 3 weeks ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Repo-wide maintainability sweep: copy, clarity, wrap, width, split, rename, tidy☆52Sep 8, 2026Updated last month
- Breaking-news ticker plugin for Hermes Desktop — RSS/Atom/JSON-Feed newswire strip above the statusbar with feed search, favicons, and ze…☆43Sep 17, 2026Updated last month
- A web page with resources for teaching with formal methods and tools.☆14Apr 8, 2023Updated 3 years ago
- Two-chain V/L and short-term flow radar for GMGN, Hermes cron, and Telegram☆103Aug 18, 2026Updated 2 months ago
- This repository provides a GitHub Action for running the Kani Rust Verifier in CI.☆14Sep 20, 2026Updated 3 weeks ago
- A toy programming language you use to build other toys☆13May 15, 2025Updated last year
- Verifying the SCION architecture using Gobra☆12Sep 22, 2026Updated 3 weeks ago