Alternatives and similar repositories for fold-and-cut-2017

Users that are interested in fold-and-cut-2017 are comparing it to the libraries listed below

• narodnik / math-notes
  math notes under one roof
  ☆32Updated 3 weeks ago
• IMAGINARY / SURFER
  Sources of Java version of SURFER (which uses JavaFX 1.3.1)
  ☆33Updated 7 years ago
• timhutton / mobius-transforms
  Exploring Möbius transformations and implementing the book Indra's Pearls
  ☆42Updated last year
• holdenlee / number-theory
  Open-source number theory textbook
  ☆63Updated last year
• asanso / CryptoWithSageMath
  Cryptography in SageMath.
  ☆10Updated 7 years ago
• roice3 / MagicTile
  Non-euclidean Rubik's Cube Analogues
  ☆89Updated 2 months ago
• Zellic / weth
  Formal verification of WETH9.sol with Z3
  ☆59Updated 3 years ago
• zenorogue / newconformist
  Conformally map the hyperbolic plane to arbitrary shapes.
  ☆64Updated 2 years ago
• Modulus-Labs / Papers
  Repository of papers released by Modulus Labs
  ☆12Updated last year
• BohemianMatrices / BHIME-Project
  A set of Matlab functions for visualizing Bohemian eigenvalues.
  ☆49Updated 6 years ago
• vEnhance / otis-web
  OTIS course management system
  ☆45Updated this week
• rcombs / Cube.js
  Rubik's Cube solver, implementing Kociemba's Two-Phase Algorithm in JS
  ☆14Updated 7 years ago
• clsn / ries
  Robert Munafo's reverse equation solver
  ☆18Updated 2 years ago
• issikebrokenyet / issikebrokenyet.github.io
  Is SIKE broken yet?
  ☆20Updated 2 years ago
• Electron-Labs / plonky2_ed25519
  Plonky2 implementation of Ed25519
  ☆11Updated last year
• reilabs / lampe
  Extracting the semantics of Noir to Lean for formal verification
  ☆35Updated this week
• InfiniteSearchSpace / Automata-Totalistic-Gen-4
  A slimmed-down, Totalistic-only version of my CA generator
  ☆29Updated 11 years ago
• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆11Updated 5 months ago
• sipb / hydrant
  MIT semester course planning app
  ☆30Updated last week
• OscarCunningham / logic-life-search
  Cellular automata search program
  ☆26Updated 3 years ago
• arkworks-rs / gm17
  A Rust library for the preprocessing zkSNARK of Groth and Maller
  ☆13Updated last year
• wborgeaud / python-pippenger
  Python3 implementation of the Pippenger algorithm for fast multi-exponentiation
  ☆22Updated 3 years ago
• saulpw / brainfuck
  a simple brainfuck interpreter
  ☆11Updated 9 years ago
• JoranHonig / tree-sitter-cairo
  A tree-sitter-grammar for cairo 1.0
  ☆16Updated 3 years ago
• defeo / MathematicsOfIBC
  Lecture notes on the Foundations of Isogeny-based Cryptography
  ☆30Updated last year
• succinctlabs / zk-residency
  Projects from the Succinct ZK Residency
  ☆21Updated last year
• narodnik / abstract-algebra-pinter-solutions
  Solutions to exercises from "A Book of Abstract Algebra" by Charles C. Pinter
  ☆49Updated 2 years ago
• chyanju / __archived__Medjai
  A Symbolic Execution Tool for Cairo
  ☆15Updated 3 years ago
• costa-group / circom_civer
  zkSnark circuit compiler
  ☆12Updated this week
• chainwayxyz / risc0-to-bitvm2
  ☆20Updated 2 months ago