Alternatives and similar repositories for explorations

Users that are interested in explorations are comparing it to the libraries listed below

• timhutton / klein-quartic
  Exploring the Klein Quartic's geometry.
  ☆28Updated last year
• ImperialCollegeLondon / real-number-game
  A gamification of the theorems in MATH40002 Analysis 1
  ☆84Updated 2 years ago
• zenorogue / newconformist
  Conformally map the hyperbolic plane to arbitrary shapes.
  ☆63Updated last year
• weshoke / versor.js
  A Javascript port of the Versor Geometric Algebra library
  ☆109Updated 10 years ago
• DavidMichaelRoberts / AlgebraicTopology2019
  Course notes for Pure Mathematics Topic D 2019
  ☆53Updated 5 years ago
• prathyvsh / Illustrated-Primers
  Books that makes heavy use of visuals for scientific communication
  ☆166Updated last year
• timhutton / livingphysics
  Artificial chemistry game
  ☆40Updated 2 months ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated 2 years ago
• levskaya / polyhedronisme
  A tool to construct and explore polyhedra.
  ☆213Updated 5 years ago
• ImperialCollegeLondon / complex-number-game
  The Complex Number Game. Make the complex numbers in Lean.
  ☆40Updated 3 years ago
• sdiehl / galois-fft
  Finite field polynomial arithmetic based on fast Fourier transforms
  ☆19Updated 5 years ago
• andrejbauer / marshall
  Real number computation software
  ☆128Updated 3 years ago
• formalabstracts / formalabstracts
  ☆165Updated 6 years ago
• kmill / lean4-raytracer
  A simple raytracer written in Lean 4
  ☆142Updated last year
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆122Updated last year
• andrejbauer / alg
  Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
  ☆84Updated 4 years ago
• cpitclaudel / z3.wasm
  WASM builds of the Z3 SMT solver
  ☆150Updated 5 years ago
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆127Updated last year
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆77Updated 2 years ago
• UCSD-PL / proverbot9001
  ☆43Updated this week
• norbert-mueller / iRRAM
  Exact real arithmetic in C++
  ☆50Updated 5 years ago
• ImperialCollegeLondon / Example-Lean-Projects
  Some examples of Lean projects, for undergraduate mathematicians.
  ☆23Updated 4 years ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆25Updated 2 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆91Updated this week
• blambov / RealLib
  Library for exact real number computations
  ☆40Updated 10 years ago
• apnelson1 / lean-matroids
  Matroids in Lean
  ☆18Updated last year
• ythea / repulsive-curves
  ☆202Updated 3 years ago
• CyberCat-Institute / open-game-engine
  Haskell implementation of open games
  ☆177Updated 9 months ago
• dyaso / klein-ported-to-rust
  Port of Jeremy Ong's SIMD-enabled projective geometric algebra library
  ☆16Updated 5 years ago
• mauriciopoppe / interval-arithmetic
  An implementation of an algebraically closed interval system of the extended real number set
  ☆95Updated 6 months ago