Alternatives and similar repositories for Enumerating-Polycubes

Users that are interested in Enumerating-Polycubes are comparing it to the libraries listed below

• mabotkin / zpordle
  A number guessing game with a p-adic twist.
  ☆9Updated last year
• IllinoisWCS / IllinoisWCS.github.io
  The main Illinois Women in Computer Science website.
  ☆9Updated 3 weeks ago
• expln / metamath-lamp
  Metamath-lamp (Lite Assistant for Metamath Proofs) is a GUI-based proof assistant for creating formal mathematical proofs in Metamath tha…
  ☆16Updated last month
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated last week
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆52Updated 2 months ago
• misprit7 / PCB-Business-Card
  My custom PCB business card
  ☆57Updated 3 years ago
• RocketRace / fivedbf
  Implementation of a 5DBF interpreter
  ☆12Updated 4 months ago
• ericastor / rmzoo
  ☆13Updated last year
• commandblockguy / wordle
  Wordle clone for TI graphing calculators
  ☆34Updated last year
• devinbaeten / bereal-time-history
  ☆32Updated 4 months ago
• texit / texit
  Embed LaTeX in standards-compliant markdown.
  ☆217Updated 9 years ago
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆40Updated last year
• jasmin-lang / jasmin
  Language for high-assurance and high-speed cryptography
  ☆292Updated this week
• AtomicFrontierCode / typefaces
  font analysis for video
  ☆54Updated last month
• moshev / TemplateQueens
  Some simple C++ template abuse
  ☆18Updated 5 years ago
• kspalaiologos / A-Programming-Language
  An effort to transcribe Ken Iverson's "A Programming Language" book to LaTeX.
  ☆18Updated 2 years ago
• formosa-crypto / formosa-mlkem
  ☆15Updated this week
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆24Updated last month
• PQShield / nist-sigs-zoo
  Exploration of NIST post-quantum signatures on-ramp candidates
  ☆31Updated 2 months ago
• howard36 / probase
  An online math contest platform
  ☆19Updated last month
• awslabs / LibMLKEM
  ☆21Updated 4 months ago
• Mooninaut / css-is-turing-complete
  ☆15Updated 2 years ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆81Updated this week
• metamath / metamath-book
  Source of metamath book
  ☆48Updated last year
• rzach / incompleteness-computability
  Textbook on Gödel's incompleteness theorems and computability theory
  ☆19Updated 3 years ago
• kashav / identicon
  Reverse-engineering GitHub's avatar generation algorithm
  ☆28Updated 9 months ago
• vEnhance / otis-web
  OTIS course management system
  ☆40Updated this week
• victorperin / is-is-is-is-odd
  checks if a given function is isIsIsOdd
  ☆12Updated 4 years ago
• minecrafthome / kaktwoos-cl
  OpenCL version of Kaktwoos; Mine cacti with 0xA presses
  ☆10Updated 2 years ago
• apple-oss-distributions / xar
  ☆24Updated 7 months ago