superpermutators / superperm

Related projects ⓘ

Alternatives and complementary repositories for superperm

• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆87Updated 3 months ago
• adamyedidia / parsimony
  ☆335Updated 6 years ago
• QuestForTetris / QFT
  A repository for the Quest For Tetris
  ☆175Updated 3 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆241Updated 6 months ago
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆61Updated this week
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆118Updated 2 years ago
• mabotkin / complex
  A web application to visualize complex mappings.
  ☆28Updated 8 years ago
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆44Updated 2 years ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆73Updated 11 months ago
• QuestForTetris / Cogol
  "C of Game of Life" is a higher-level language for use with the Game of Life processor.
  ☆76Updated 5 years ago
• pi-base / data
  A community database of topological counterexamples
  ☆72Updated this week
• formalabstracts / formalabstracts
  ☆159Updated 5 years ago
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆51Updated this week
• pirindiel / llull
  A program with no practical utility
  ☆23Updated 8 years ago
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆228Updated last year
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆96Updated 5 years ago
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆254Updated this week
• ajcr / transfinite
  Transfinite ordinal arithmetic and factorisation up to epsilon-zero
  ☆14Updated 2 years ago
• Timwi / HexagonyColorer
  This tool lets you color Hexagony programs (http://esolangs.org/wiki/Hexagony) in such a way that the execution paths are visible.
  ☆47Updated 8 years ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆72Updated last month
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆38Updated last week
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆115Updated 4 months ago
• andrejbauer / alg
  Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
  ☆82Updated 3 years ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆79Updated 3 months ago
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆148Updated 5 months ago
• DavidMichaelRoberts / AlgebraicTopology2019
  Course notes for Pure Mathematics Topic D 2019
  ☆52Updated 4 years ago
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆63Updated last year
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆180Updated 9 months ago
• adamnemecek / adjoint
  Thoughts on adjoint, norm and such.
  ☆165Updated last year