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
  ☆16Updated 4 years ago
• leanprover / super
  Superposition prover
  ☆17Updated last year
• chrisroman / coc
  Calculus of Constructions Implementation
  ☆15Updated 5 years ago
• purplesyringa / PijulGit
  Pijul <-> Git proxy
  ☆19Updated 5 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆20Updated 4 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 6 years ago
• segeljakt / type-theory
  Typed λ-calculus in Rust
  ☆28Updated last year
• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 13 years ago
• DanGrayson / Ktheory
  formalization of theorems of higher algebraic K-theory
  ☆8Updated 10 years ago
• nixcloud / nixcrates
  A drop-in replacement for `cargo` which yet uses crates.io index
  ☆15Updated 8 years ago
• tangentstorm / mandelbrowse
  A visual Mandelbrot set explorer written in J
  ☆11Updated 4 years ago
• bogdanb / hpmor
  Latex version of “Harry Potter and the Methods of Rationality”
  ☆12Updated last year
• textiles-lab / fenced-tangle-supplemental
  ☆14Updated last year
• frewsxcv / rust-crates-index-graph
  ☆11Updated 5 years ago
• Stebalien / gazetta
  A sub-second static blogging framework
  ☆29Updated 3 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆18Updated 5 years ago
• alox-ai / alox
  GPU Accelerated, Distributed, Actor Model Language (WIP)
  ☆29Updated last year
• datrs / sparse-bitfield
  Bitfield that allocates a series of small buffers.
  ☆11Updated 3 years ago
• Hirevo / koak
  A compiler for a little statically-typed language implemented in Haskell.
  ☆13Updated 5 years ago
• 0b01 / tensorscript
  shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)
  ☆51Updated last year
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 4 years ago
• mratsim / rustygo
  A Go bot written in Rust with Monte Carlo Tree Search & a brain dump on go bot optimizations
  ☆27Updated 6 years ago
• maciejkula / fizzbuzz
  A FizzBuzz solver using a Rust autodifferentiation library.
  ☆21Updated 7 years ago
• kat31416 / quacee
  Quacee quantum computing language
  ☆11Updated 7 years ago
• mknyszek / rust-libquantum
  Rust bindings for libquantum
  ☆11Updated 6 years ago
• hazelgrove / hazelnut-dynamics-agda
  mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
  ☆21Updated 7 months ago
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆16Updated last year
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆34Updated 3 years ago