Acorn's standard library of mathematical facts.
☆59May 25, 2026Updated this 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.☆47May 22, 2026Updated last week
- ☆20Apr 14, 2026Updated last month
- A four-dimensional Analysis of Partitioned Approximate Filters☆11Aug 6, 2025Updated 9 months 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☆19Apr 20, 2026Updated last month
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Typeclass instances for `parsley` to make it compatible with `cats`☆14Jan 24, 2026Updated 4 months ago
- ☆12Jul 4, 2020Updated 5 years ago
- Convex optimization over risk-neutral probabilities.☆15Apr 22, 2020Updated 6 years ago
- A lightweight event streaming library for Scala 3☆15May 22, 2026Updated last week
- Mizar Mathematical Library☆17Mar 17, 2012Updated 14 years ago
- GAP package guava - computations relative to error-correcting codes☆20May 18, 2026Updated last week
- A Hello World VS Code extension with ScalaJS.☆14Nov 9, 2023Updated 2 years ago
- Official repository for the official implementation of HyperBitT, HyperBitBit64, and HyperTwoBits☆17Oct 15, 2024Updated last year
- A wordle game for communities☆10Jun 29, 2025Updated 11 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Modern, type-safe, contract-first web framework for OCaml 5☆53Updated this week
- Capturing standard output and error streams in Julia.☆32Apr 21, 2026Updated last month
- ☆14Mar 8, 2023Updated 3 years ago
- ☆27Feb 24, 2026Updated 3 months ago
- plasTeX plugin to build formalization blueprints.☆340Dec 23, 2025Updated 5 months ago
- An API specification of the website https://www.floatplane.com☆23May 9, 2026Updated 2 weeks ago
- Source code for the FAST'19 paper "Fast Erasure Coding for Data Storage: A Comprehensive Study of the Acceleration Techniques", Tianli Zh…☆18May 23, 2021Updated 5 years ago
- SLPs for the ToSC Volume 2017 Issue 4 paper 'Shorter Linear Straight-Line Programs for MDS Matrices'☆21Oct 16, 2021Updated 4 years ago
- ☆17Mar 1, 2023Updated 3 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.
- Clang plugin with several static analysis checks☆28Jul 16, 2025Updated 10 months ago
- Forked from https://github.com/thoughtpolice/enable_arm_pmu to enable user-mode access to ARMv8/Linux performance counters☆25May 23, 2025Updated last year
- Code completion with Google Gemini for Emacsen☆29May 6, 2026Updated 3 weeks ago
- Playground for formal specifications of interfaces in Julia☆60Sep 28, 2023Updated 2 years ago
- Traits for julia iterators☆11Aug 22, 2020Updated 5 years ago
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years ago
- ☆31Jun 8, 2020Updated 5 years ago
- Adds a macro (`@api`) to help manage a consistent API between multiple packages☆10May 18, 2021Updated 5 years ago
- A Julia IO type that facilitates width-limited printing☆12Mar 21, 2023Updated 3 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.
- Sample Code for “Sequential and Parallel Algorithms and Data Structures -- The Basic Toolbox” Book☆26Nov 11, 2017Updated 8 years ago
- ☆16Oct 17, 2024Updated last year
- A Rust doubly-linked intrusive list with Miri tests☆12May 4, 2024Updated 2 years ago
- B-Spline Density Estimation Library - nonparametric density estimation using B-Spline density estimator from univariate sample.☆16Aug 22, 2021Updated 4 years ago
- 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