Developing mathematics in Coq from the ground up
☆25Nov 14, 2025Updated 3 months ago
Alternatives and similar repositories for math-from-nothing
Users that are interested in math-from-nothing are comparing it to the libraries listed below
Sorting:
- Experiments with moebius transformations and non-euclidian perspectives.☆12Apr 16, 2023Updated 2 years ago
- geometric number library supporting unlimited dimensions with O(1) complexity☆18Feb 1, 2026Updated last month
- Coq library for serialization to S-expressions☆20Jul 3, 2023Updated 2 years ago
- Clifford algebra for CAS Maxima☆17Aug 9, 2025Updated 6 months ago
- A benchmark for Geometric Algebra libraries, library generators, and code optimizers.☆22Sep 22, 2021Updated 4 years ago
- A Tutorial on Reflecting in Coq the generation of Hoare proof obligations [maintainer=@k4rtik]☆22Nov 25, 2021Updated 4 years ago
- Awesome Geometric Algebra☆29Jul 11, 2020Updated 5 years ago
- Solana Airdrop Faucet: A simple web application that allows users to receive free SOL tokens on the Solana Devnet. Built with Next.js, th…☆11Sep 22, 2024Updated last year
- TbGAL: Tensor-Based Geometric Algebra Library☆29Apr 10, 2022Updated 3 years ago
- Automatically generates Coq FFI bindings to OCaml libraries [maintainer=@lthms]☆38Apr 27, 2023Updated 2 years ago
- Simple game inspired by "Soul Knight" and "The Binding of Isaac"☆10Jun 12, 2020Updated 5 years ago
- Experimental framework taking inspiration from biological systems, combining compression-based architectures, group theory, and symmetry …☆14Nov 13, 2025Updated 3 months ago
- A systems Lisp that compiles to C. Homoiconic macros, refcounted memory, Hindley-Milner type inference.☆34Feb 25, 2026Updated last week
- プログラミング de 落書きで公開しているコードを共有します☆24Feb 26, 2026Updated last week
- Create immutable infrastructure with IaC technologies at AWS with Terraform and Serverless Framework ☁️ The main services used are Dynamo…☆10Jan 3, 2021Updated 5 years ago
- Alter Keyboard Layouts☆12Jan 4, 2021Updated 5 years ago
- Self service portal for aws workspace☆11Dec 10, 2023Updated 2 years ago
- ☆11Mar 5, 2025Updated 11 months ago
- Website for www.ambitionfund.org, micro-grant program to provide support for underrepresented people who need financial assistance pursui…☆13Jan 6, 2023Updated 3 years ago
- JTAG debugging support for Allwinner SoCs☆10May 2, 2024Updated last year
- https://github.com/VenomCodeDev/VanillifyFabric☆13Jun 24, 2022Updated 3 years ago
- MineTweaker INGAME Recipe Maker☆13Jun 30, 2018Updated 7 years ago
- Run very cheap game servers (Minecraft, LinuxGSM, etc) in AWS EC2 Spot instances controlled by Discord slash commands. Manage using Terra…☆13Aug 6, 2025Updated 6 months ago
- Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]☆50Feb 26, 2026Updated last week
- reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…☆44Updated this week
- Polynomial bases for spectral element methods.☆14Updated this week
- Generate sandbox buildable Nix expression from Mix lock file☆12Dec 19, 2025Updated 2 months ago
- Run GitHub GraphQL queries and mutations in VS Code☆13Apr 15, 2022Updated 3 years ago
- A Julia package for real-time audification of ODEs and SDEs☆11Nov 24, 2025Updated 3 months ago
- "Be(Come) A Mentor! Help Others Succeed!" by @OssAnna16☆10Mar 20, 2020Updated 5 years ago
- Build control images for Aboriginal Linux, http://landley.net/aboriginal/control-images☆13Jun 7, 2021Updated 4 years ago
- Stripped down versions of several archlinux packages, former name llvm-libs-debloated. [Maintainer=@Samueru-sama]☆14Updated this week
- A collection of resources related to mindfiles (digital representations of your mind)☆11Nov 11, 2019Updated 6 years ago
- Urho3D extra minimal examples and demos. Tested in Ubuntu 18.04.☆11Feb 25, 2022Updated 4 years ago
- A re-write of clojure-py using ClojureScript + Python ASTs☆26Jan 10, 2013Updated 13 years ago
- Clojurescript selfhost library☆13Jul 29, 2022Updated 3 years ago
- Conversational Agent for Twitter and Discord☆10Updated this week
- Command line interface for COAL cryptocurrency mining.☆11Jan 30, 2025Updated last year
- IPython-based debugging and exploring - a collection of auxiliary functions☆16Sep 19, 2025Updated 5 months ago