explanaria / explanaria.github.io

Related projects ⓘ

Alternatives and complementary repositories for explanaria.github.io

• fcrozatier / champagne
  champagne
  ☆32Updated 9 months ago
• leios / SoME_Topics
  Collaboration / Topic requests for SoME
  ☆212Updated last year
• ccz181078 / Coq-BB5
  ☆156Updated last week
• matthen / animations
  mathematical animations, in react + typescript
  ☆42Updated 8 months ago
• howard36 / probase
  An online math contest platform
  ☆17Updated this week
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆61Updated this week
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆204Updated this week
• erich-friedman / erich-friedman.github.io
  ☆47Updated 2 weeks ago
• HackerPoet / Engine4D
  A Unity toolkit for making 4D games
  ☆172Updated 3 months ago
• coffeemug / ts-wolfram
  A toy Wolfram language interpreter.
  ☆34Updated 2 weeks ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆87Updated 3 months ago
• leanprover / theorem_proving_in_lean4
  Theorem Proving in Lean 4
  ☆161Updated last month
• kaya3 / MJr
  A probabilistic programming language based on pattern-rewriting
  ☆78Updated 10 months ago
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆247Updated this week
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆241Updated 6 months ago
• mtwoodard / hypVR-Ray
  Hyperbolic VR using Raymarching
  ☆102Updated 5 years ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆39Updated 3 months ago
• eterevsky / beaver
  A solver for halting problem of Brainfuck programs
  ☆16Updated 4 years ago
• HollowaySean / BlackHoleViz_v2
  Black Hole Visualizer in Unity C#
  ☆108Updated 6 months ago
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆33Updated 9 months ago
• teorth / equational_theories
  A project to map out the relations between different equational theories of Magmas.
  ☆210Updated this week
• Paper-Proof / paperproof
  Lean theorem proving interface which feels like pen-and-paper proofs.
  ☆362Updated last week
• svenkreiss / unicodeit
  Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.
  ☆289Updated last year
• VAlgoLang / VAlgoLang
  Domain Specific Language using Manim to create animations for data structures and algorithms
  ☆48Updated 3 years ago
• SheafificationOfG / Fibsonicci
  Source code for a video on computing Fibonacci numbers efficiently
  ☆79Updated 3 months ago
• sidneycadot / oeis
  Code to download, process, and analyse the Online Encyclopedia of Integer Sequences
  ☆46Updated last year
• ManimCommunity / manim-plugintemplate
  A template project to both illustrate and serve as an example for plugin creations on top of the manim.
  ☆17Updated 3 years ago
• henryseg / cohomology_fractals
  Drawing cohomology fractals with the GPU.
  ☆50Updated 11 months ago
• PatrickMassot / leanblueprint
  plasTeX plugin to build formalization blueprints.
  ☆168Updated 3 weeks ago
• unageek / graphest
  A faithful graphing calculator
  ☆99Updated 2 months ago