Acorn's standard library of mathematical facts.
☆54Mar 16, 2026Updated last week
Alternatives and similar repositories for acornlib
Users that are interested in acornlib are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 🌌 Towards a Digital Pluriverse: “a world where many worlds may fit”☆15Feb 20, 2022Updated 4 years ago
- An efficient sampler for discrete random variables☆19Mar 11, 2026Updated 2 weeks ago
- Neural theorem proving tutorial, version II☆40Apr 26, 2024Updated last year
- Julia implementation of the Flash Attention algorithm☆19Sep 4, 2023Updated 2 years ago
- Comprehensive typeset notes for Stanford's CS 109 probability course.☆12Jun 24, 2015Updated 10 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Openwater's Open-Source Neuromodulation Hardware☆22Mar 9, 2024Updated 2 years ago
- Simple, robust, BitTorrent's Mainline DHT implementation☆17Feb 26, 2026Updated last month
- A Pratt parser builder.☆12Jun 5, 2018Updated 7 years ago
- WebAssembly specification, reference interpreter, and test suite.☆13Aug 31, 2023Updated 2 years ago
- Capturing standard output and error streams in Julia.☆31Mar 9, 2026Updated 2 weeks ago
- Calibre Plugins for CrossPoint Reader☆40Feb 22, 2026Updated last month
- plasTeX plugin to build formalization blueprints.☆317Dec 23, 2025Updated 3 months ago
- OpenRPC client of celestia-node, without dependencies on celestia-node/celestia-app/cosmos-sdk.☆22Nov 15, 2024Updated last year
- An API specification of the website https://www.floatplane.com☆23Nov 28, 2025Updated 4 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆18Feb 24, 2026Updated last month
- Lean 4 library for pretty printing expressions as LaTeX☆35Mar 5, 2025Updated last year
- Playground for formal specifications of interfaces in Julia☆60Sep 28, 2023Updated 2 years ago
- Traits for julia iterators☆11Aug 22, 2020Updated 5 years ago
- Adds a macro (`@api`) to help manage a consistent API between multiple packages☆10May 18, 2021Updated 4 years ago
- ☆31Jun 8, 2020Updated 5 years ago
- A Julia IO type that facilitates width-limited printing☆12Mar 21, 2023Updated 3 years ago
- Implementation of the model from "Faster sorting algorithms discovered using deep reinforcement learning" that discovered an all-new ult…☆11Aug 29, 2023Updated 2 years ago
- ☆17Oct 17, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- geometric primitives for piecewise functions on grids☆24Jun 28, 2024Updated last year
- Interactive plotting of millions of data points☆11Mar 31, 2022Updated 3 years ago
- Collections of Actions for Custom GPTs (some created by Captain Action)☆11Jan 7, 2024Updated 2 years ago
- Interactive Theorem Proving course using HOL4☆13Jun 21, 2023Updated 2 years ago
- This is a solidity implementation of extremely efficient approximations for PI☆28May 13, 2022Updated 3 years ago
- rsw: optimal representative sample weighting.☆19May 21, 2020Updated 5 years ago
- ☆21Jun 20, 2025Updated 9 months ago
- Keyboard‑driven terminal app to view and manage users and groups. Browse accounts, see memberships, search, and make common changes: rena…☆24Nov 11, 2025Updated 4 months ago
- An interpreter for concatenative combinators (i.e. Combinators as a functional language)☆10Nov 27, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Stripe-native usage metering with real-time cost projections, exactly-once processing, and invoice parity guarantees.☆22Feb 27, 2026Updated last month
- An interactive environment for exploring, refining, and visualizing mathematical proofs with AI assistance.☆32Feb 18, 2026Updated last month
- Code to reproduce all the results in the paper: "Learning dynamics of linear denoising autoencoders." (ICML 2018)☆11Aug 20, 2018Updated 7 years ago
- Rivet plugin to access E2B goodies☆10Feb 6, 2025Updated last year
- Regression Testing for Terminal UIs☆14Mar 1, 2026Updated 3 weeks ago
- A syntactically aware search-and-replace tool for Python.☆15Mar 10, 2026Updated 2 weeks ago
- A generic implementation of A* pathfinding in Wren - https://wren.io☆17Oct 14, 2020Updated 5 years ago