Alternatives and similar repositories for superperm

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

• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 9 months ago
• mlepage / polycube-solver
  Lua program using Algorithm X to solve the problem of packing polycubic pieces into boxes. Includes bit matrix module. MIT license.
  ☆18Updated 13 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆248Updated last month
• alangpierce / TheProofIsTrivial
  Math-themed single-serving site
  ☆46Updated 3 years ago
• QuestForTetris / QFT
  A repository for the Quest For Tetris
  ☆182Updated 4 years ago
• adamyedidia / parsimony
  ☆343Updated 7 years ago
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆61Updated this week
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆76Updated last year
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆118Updated 4 years ago
• m-ender / alice
  A feature-rich, two-dimensional, recreational programming language. With mirrors.
  ☆44Updated 4 years ago
• jeffreyadams / atlasofliegroups
  Automatically exported from code.google.com/p/atlasofliegroups
  ☆32Updated this week
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆81Updated this week
• primo-ppcg / BF-Crunch
  ☆11Updated 3 years ago
• teorth / expdb
  Exponent pair database
  ☆50Updated this week
• ericastor / rmzoo
  ☆13Updated last year
• DJMcMayhem / Brain-Flak
  A minimalist esolang
  ☆85Updated 7 years ago
• QuestForTetris / Cogol
  "C of Game of Life" is a higher-level language for use with the Game of Life processor.
  ☆78Updated 6 years ago
• PleasingFungus / Manufactoria
  ☆14Updated 6 years ago
• jmoellermath / translate-SGAI
  Let's translate works of Grothendieck
  ☆24Updated 5 years ago
• DJMcMayhem / V
  A golfing language inspired by everybody's favorite text editor, vim.
  ☆79Updated 5 years ago
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆46Updated 3 years ago
• ImperialCollegeLondon / real-number-game
  A gamification of the theorems in MATH40002 Analysis 1
  ☆82Updated 2 years ago
• hanabi / hanabi.github.io
  A list of Hanabi strategies
  ☆165Updated this week
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆34Updated this week
• thosgood / translations
  some maths papers in English
  ☆18Updated last month
• Timwi / Funciton
  Funciton (pronounced: /ˈfʌŋkɪtɒn/) is a two-dimensional, declarative, functional, esoteric programming language. This is an interpreter a…
  ☆42Updated 3 months ago
• aceto / aceto
  A programming language based on a 2D Hilbert curve grid
  ☆88Updated 2 years ago
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆78Updated 4 years ago
• betaveros / paradoc
  GolfScript/CJam-inspired stack-based programming language that can be golfed or written literately*
  ☆102Updated 3 years ago
• mscroggs / realhats
  realhats LaTeX package
  ☆112Updated 2 years ago