Acorn's standard library of mathematical facts.
β52Feb 24, 2026Updated last week
Alternatives and similar repositories for acornlib
Users that are interested in acornlib are comparing it to the libraries listed below
Sorting:
- An efficient sampler for discrete random variablesβ19Nov 26, 2025Updated 3 months ago
- π Towards a Digital Pluriverse: βa world where many worlds may fitββ15Feb 20, 2022Updated 4 years ago
- Julia implementation of the Flash Attention algorithmβ19Sep 4, 2023Updated 2 years ago
- Lean 4 library for pretty printing expressions as LaTeXβ34Mar 5, 2025Updated last year
- This repository corresponds to the PICCO compiler for secure multi-party computation published in 2013 with more recent efficiency improvβ¦β12Feb 24, 2026Updated last week
- B-Spline Density Estimation Library - nonparametric density estimation using B-Spline density estimator from univariate sample.β16Aug 22, 2021Updated 4 years ago
- Capturing standard output and error streams in Julia.β31Nov 25, 2025Updated 3 months ago
- β31Jun 8, 2020Updated 5 years ago
- Neural theorem proving tutorial, version IIβ40Apr 26, 2024Updated last year
- β12Feb 18, 2024Updated 2 years ago
- Starter SDK for full-stack EVM applications, built for TreeHacks 2025 Web3 Workshopβ13Feb 14, 2025Updated last year
- FHEM-Modules for the SMA Energy Meter and SMA Invertersβ10Oct 28, 2021Updated 4 years ago
- plasTeX plugin to build formalization blueprints.β302Dec 23, 2025Updated 2 months ago
- Factorio overhaul which expands the factory onto the moonβ12Jul 8, 2025Updated 7 months ago
- A Python library for building modular, reproducible simulation pipelines in minutesβ32Aug 22, 2025Updated 6 months ago
- A Julia package to manipulate very small IEEE 754 standard-compliant floating-point numbers.β12Nov 18, 2025Updated 3 months ago
- wwPDB PDBx/mmCIF Dictionaryβ10Jan 28, 2026Updated last month
- A syntactically aware search-and-replace tool for Python.β15Jul 15, 2025Updated 7 months ago
- Formalizing stochastic doubly-efficient debateβ118Oct 8, 2024Updated last year
- β12May 29, 2020Updated 5 years ago
- Jupyter notebooks from our weekly (or so) hackathonsβ11Dec 3, 2024Updated last year
- An interactive environment for exploring, refining, and visualizing mathematical proofs with AI assistance.β32Feb 18, 2026Updated 2 weeks ago
- π Results for the Ranking Metrics submission @ GLB 2022β10Apr 6, 2022Updated 3 years ago
- Emulator of the soviet ternary computer "Setun-70" (Π‘Π΅ΡΡΠ½Ρ-70)β18Dec 9, 2024Updated last year
- Graph-based neural tactic prediction models for Coq.β15Sep 17, 2025Updated 5 months ago
- A utility for resolving Twitter avatar URLs from their Twitter handles, built on the JAMstackβ11Dec 8, 2022Updated 3 years ago
- Symbolic Graphics Programming with Large Language Modelsβ37Sep 14, 2025Updated 5 months ago
- Interactive plotting of millions of data pointsβ11Mar 31, 2022Updated 3 years ago
- β12Nov 4, 2022Updated 3 years ago
- private 1inchβ14Apr 23, 2023Updated 2 years ago
- Musically plays LLVM codeβ14Updated this week
- Official code for paper: Conservative objective models are a special kind of contrastive divergence-based energy modelβ14Aug 15, 2023Updated 2 years ago
- Rejection-minimal, non-reversible, and continuous-time samplersβ12Nov 14, 2025Updated 3 months ago
- Traits for julia iteratorsβ11Aug 22, 2020Updated 5 years ago
- Fast and lightweight noise algorithms.β12Jan 2, 2026Updated 2 months ago
- A Rust doubly-linked intrusive list with Miri testsβ12May 4, 2024Updated last year
- PyTorch implementation of quantization-aware matrix factorization (QMF) for data compressionβ15Jul 14, 2025Updated 7 months ago
- Spain Roads Visualization π£οΈπβ11Nov 26, 2019Updated 6 years ago
- Regression Testing for Terminal UIsβ14Updated this week