Acorn's standard library of mathematical facts.
☆56Apr 10, 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:
- The core implementation of the Acorn language.☆45Apr 9, 2026Updated last week
- ☆19Mar 25, 2026Updated 3 weeks ago
- 🌌 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 30, 2026Updated 2 weeks ago
- Neural theorem proving tutorial, version II☆40Apr 26, 2024Updated last year
- 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.
- A Haskell prelude optimized for safety☆18Jan 6, 2017Updated 9 years ago
- 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
- Openwater's Open-Source Neuromodulation Hardware☆22Mar 9, 2024Updated 2 years ago
- TOML parser with codec derivation for the Scala platform☆18Feb 9, 2025Updated last year
- Julia interface to CVXOPT☆12Jul 5, 2020Updated 5 years ago
- Private version of CMTAT security token in Noir (Aztec network DSL)☆18Dec 17, 2025Updated 4 months ago
- a noir library for multiparty computation primitives☆18Feb 5, 2026Updated 2 months ago
- GAP package guava - computations relative to error-correcting codes☆20Mar 31, 2026Updated 2 weeks ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Simple, robust, BitTorrent's Mainline DHT implementation☆19Feb 26, 2026Updated last month
- A wordle game for communities☆10Jun 29, 2025Updated 9 months ago
- Power search using Algolia☆25Nov 7, 2017Updated 8 years ago
- An API specification of the website https://www.floatplane.com☆23Nov 28, 2025Updated 4 months ago
- Code completion with Google Gemini for Emacsen☆29Jul 15, 2024Updated last year
- Traits for julia iterators☆11Aug 22, 2020Updated 5 years ago
- Flutter + WebAssembly Example☆13Mar 3, 2020Updated 6 years ago
- Adds a macro (`@api`) to help manage a consistent API between multiple packages☆10May 18, 2021Updated 4 years ago
- A Julia IO type that facilitates width-limited printing☆12Mar 21, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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
- A Rust doubly-linked intrusive list with Miri tests☆12May 4, 2024Updated last year
- geometric primitives for piecewise functions on grids☆24Jun 28, 2024Updated last year
- Collections of Actions for Custom GPTs (some created by Captain Action)☆11Jan 7, 2024Updated 2 years ago
- Interactive plotting of millions of data points☆11Mar 31, 2022Updated 4 years ago
- Interactive Theorem Proving course using HOL4☆13Mar 27, 2026Updated 3 weeks ago
- This is a solidity implementation of extremely efficient approximations for PI☆28May 13, 2022Updated 3 years ago
- ☆22Jun 20, 2025Updated 9 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Keyboard‑driven terminal app to view and manage users and groups. Browse accounts, see memberships, search, and make common changes: rena…☆24Apr 12, 2026Updated last week
- A common data structures for Inter-Blockchain Communication (IBC) messages that can be reused by different implementations or tools☆14Apr 9, 2025Updated last year
- Stripe-native usage metering with real-time cost projections, exactly-once processing, and invoice parity guarantees.☆21Feb 27, 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
- A library for defining and efficiently solving program synthesis tasks in Julia.☆37Apr 1, 2026Updated 2 weeks ago
- Rivet plugin to access E2B goodies☆10Feb 6, 2025Updated last year
- ncurses based data navigators☆27Apr 11, 2026Updated last week