acornprover / acornlibView external linksLinks
Acorn's standard library of mathematical facts.
☆51Updated this week
Alternatives and similar repositories for acornlib
Users that are interested in acornlib are comparing it to the libraries listed below
Sorting:
- The core implementation of the Acorn language.☆39Updated this week
- An efficient sampler for discrete random variables☆19Nov 26, 2025Updated 2 months ago
- 🌌 Towards a Digital Pluriverse: “a world where many worlds may fit”☆15Feb 20, 2022Updated 3 years ago
- Openwater's Open-Source Neuromodulation Hardware☆22Mar 9, 2024Updated last year
- Julia implementation of the Flash Attention algorithm☆19Sep 4, 2023Updated 2 years ago
- ☆15Oct 17, 2024Updated last year
- Lean 4 library for pretty printing expressions as LaTeX☆34Mar 5, 2025Updated 11 months ago
- B-Spline Density Estimation Library - nonparametric density estimation using B-Spline density estimator from univariate sample.☆15Aug 22, 2021Updated 4 years ago
- Capturing standard output and error streams in Julia.☆31Nov 25, 2025Updated 2 months ago
- ☆11Feb 18, 2024Updated last year
- Starter SDK for full-stack EVM applications, built for TreeHacks 2025 Web3 Workshop☆13Feb 14, 2025Updated 11 months ago
- plasTeX plugin to build formalization blueprints.☆294Dec 23, 2025Updated last month
- A Julia package to manipulate very small IEEE 754 standard-compliant floating-point numbers.☆12Nov 18, 2025Updated 2 months ago
- A Python library for building modular, reproducible simulation pipelines in minutes☆32Aug 22, 2025Updated 5 months ago
- Factorio overhaul which expands the factory onto the moon☆12Jul 8, 2025Updated 7 months ago
- wwPDB PDBx/mmCIF Dictionary☆10Jan 28, 2026Updated 2 weeks ago
- Formalizing stochastic doubly-efficient debate☆118Oct 8, 2024Updated last year
- Fast and lightweight noise algorithms.☆11Jan 2, 2026Updated last month
- Auto-differentiated descriptors using Enzyme☆12Apr 2, 2025Updated 10 months ago
- ☆10Aug 14, 2023Updated 2 years ago
- A Terraform module for deploying Weights & Biases on GCP.☆13Jan 22, 2026Updated 3 weeks ago
- Fork of HyenaDNA, a long-range genomic foundation model built with Hyena☆10Aug 14, 2023Updated 2 years ago
- A generic implementation of A* pathfinding in Wren - https://wren.io☆17Oct 14, 2020Updated 5 years ago
- A wasmCloud provider for the ollama API☆12Apr 23, 2024Updated last year
- Regression Testing for Terminal UIs☆14Jan 1, 2026Updated last month
- Official code for paper: Conservative objective models are a special kind of contrastive divergence-based energy model☆14Aug 15, 2023Updated 2 years ago
- Rivet plugin to access E2B goodies☆10Feb 6, 2025Updated last year
- An interpreter for concatenative combinators (i.e. Combinators as a functional language)☆10Nov 27, 2021Updated 4 years ago
- Less-wrong single-file Numba-accelerated Python implementation of Gotoh affine gap penalty extensions for the Needleman–Wunsch, Smith-Wat…☆12Oct 30, 2025Updated 3 months ago
- Adds a macro (`@api`) to help manage a consistent API between multiple packages☆10May 18, 2021Updated 4 years ago
- PyTorch implementation of satellite image pose estimation using ResNet model architecture.☆10Dec 8, 2023Updated 2 years ago
- jsonrpc 2.0 client/server library for Twisted☆13Aug 31, 2018Updated 7 years ago
- A Rust doubly-linked intrusive list with Miri tests☆12May 4, 2024Updated last year
- private 1inch☆14Apr 23, 2023Updated 2 years ago
- Traits for julia iterators☆11Aug 22, 2020Updated 5 years ago
- Musically plays LLVM code☆14Updated this week
- A Julia IO type that facilitates width-limited printing☆12Mar 21, 2023Updated 2 years ago
- Official repository for CoTran: An LLM-based code translator for whole-program translation, fine-tuned using feedback from compiler and s…☆16Nov 6, 2024Updated last year
- Pluto's dependency sorting algorithm☆11Jan 14, 2026Updated 3 weeks ago