Alternatives and similar repositories for masters-thesis

Users that are interested in masters-thesis are comparing it to the libraries listed below

• nixpulvis / lambash
  A λ-calculus shell (because I love writing shells).
  ☆11Updated 5 years ago
• andreaferretti / commutative-algebra
  An introduction to the basic ideas of commutative algebra
  ☆17Updated 5 years ago
• DanGrayson / Ktheory
  formalization of theorems of higher algebraic K-theory
  ☆8Updated 11 years ago
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Updated 10 years ago
• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 13 years ago
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 6 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• purplesyringa / PijulGit
  Pijul <-> Git proxy
  ☆21Updated 6 years ago
• kat31416 / quacee
  Quacee quantum computing language
  ☆11Updated 8 years ago
• themasch / rust-git
  a git implementation in rust. yeah, I know..
  ☆12Updated 9 years ago
• leanprover / presentations
  lean-related presentations
  ☆16Updated last year
• mknyszek / rust-libquantum
  Rust bindings for libquantum
  ☆12Updated 7 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 9 years ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆24Updated 2 years ago
• mohd-akram / compilers
  A list of compilers with some metadata.
  ☆12Updated last year
• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆11Updated this week
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆19Updated 6 years ago
• dc-mak / NumLin
  NumLin: Linear Types for Linear Algebra
  ☆23Updated 2 years ago
• TyOverby / ares
  A Lisp made for easy integration with Rust.
  ☆9Updated 9 years ago
• leanprover / super
  Superposition prover
  ☆17Updated 2 years ago
• Co-dfns / apixlib
  An Image Dictionary for Co-dfns
  ☆14Updated 8 years ago
• crespyl / marching-squares
  Simple demo of noise-rs and rustbox
  ☆22Updated 6 years ago
• guenchi / Quantum
  A lambda calculus for quantum computation
  ☆13Updated 6 years ago
• ketralnis / pipelines-rs
  A rust crate for creating concurrent pipelines
  ☆9Updated 7 years ago
• 0b01 / tensorscript
  shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)
  ☆51Updated 2 years ago
• emacsmirror / wisp-mode
  Tools for wisp: the Whitespace-to-Lisp preprocessor
  ☆12Updated 8 months ago
• leegao / RegexEnumerator
  Combinatorial tricks to enumerate regular expressions in closed-form.
  ☆33Updated 8 years ago
• cseed / knotkit
  knot theory and computational algebra software
  ☆37Updated 11 years ago
• art4711 / random-double
  An algorithm for generating random doubles.
  ☆12Updated 8 years ago
• tangentstorm / mandelbrowse
  A visual Mandelbrot set explorer written in J
  ☆11Updated 4 years ago