Alternatives and similar repositories for explorations

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

• prathyvsh / Illustrated-Primers
  Books that makes heavy use of visuals for scientific communication
  ☆168Updated last year
• hrldcpr / Bezier.hs
  Bézier curves in Haskell
  ☆28Updated 3 months ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆56Updated 2 years ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆124Updated last year
• CyberCat-Institute / open-game-engine
  Haskell implementation of open games
  ☆183Updated 11 months ago
• bollu / blaze
  Haskell re-implementation of STOKE, the stochastic superoptimizer
  ☆64Updated 6 years ago
• regina-normal / regina
  The main source code for Regina
  ☆39Updated this week
• blynn / morans
  Get a Brain
  ☆24Updated 5 years ago
• DavidMichaelRoberts / AlgebraicTopology2019
  Course notes for Pure Mathematics Topic D 2019
  ☆53Updated 5 years ago
• sdiehl / galois-fft
  Finite field polynomial arithmetic based on fast Fourier transforms
  ☆19Updated 5 years ago
• cpitclaudel / z3.wasm
  WASM builds of the Z3 SMT solver
  ☆151Updated 5 years ago
• weshoke / versor.js
  A Javascript port of the Versor Geometric Algebra library
  ☆109Updated 10 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆47Updated 8 years ago
• liuyj8526 / Computation-of-Elliptic-Units
  We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…
  ☆31Updated 4 years ago
• kmill / lean4-raytracer
  A simple raytracer written in Lean 4
  ☆143Updated last year
• levskaya / polyhedronisme
  A tool to construct and explore polyhedra.
  ☆215Updated 5 years ago
• apnelson1 / lean-matroids
  Matroids in Lean
  ☆18Updated 2 years ago
• andrejbauer / marshall
  Real number computation software
  ☆129Updated 3 years ago
• formalabstracts / formalabstracts
  ☆165Updated 6 years ago
• zenorogue / newconformist
  Conformally map the hyperbolic plane to arbitrary shapes.
  ☆64Updated 2 years ago
• ythea / repulsive-curves
  ☆203Updated 3 years ago
• 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
• henryseg / cohomology_fractals
  Drawing cohomology fractals with the GPU.
  ☆53Updated 9 months ago
• Soonad / Moonad
  An upcoming operating system built on Type-Theory
  ☆43Updated 5 years ago
• nilesjohnson / hopf_fibration
  Modifications of Niles Johnson's Hopf Fibration drawing code
  ☆38Updated 11 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆194Updated 2 weeks ago
• Soonad / Whitepaper
  Moonad: a Peer-to-Peer Operating System
  ☆101Updated 6 years ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆25Updated 2 years ago
• blambov / RealLib
  Library for exact real number computations
  ☆40Updated 10 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 13 years ago