jvns / masters-thesis

Related projects ⓘ

Alternatives and complementary repositories for masters-thesis

• nixpulvis / lambash
  A λ-calculus shell (because I love writing shells).
  ☆11Updated 4 years ago
• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 13 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆20Updated 4 years ago
• andreaferretti / commutative-algebra
  An introduction to the basic ideas of commutative algebra
  ☆16Updated 4 years ago
• DanGrayson / Ktheory
  formalization of theorems of higher algebraic K-theory
  ☆8Updated 10 years ago
• themasch / rust-git
  a git implementation in rust. yeah, I know..
  ☆12Updated 8 years ago
• crespyl / marching-squares
  Simple demo of noise-rs and rustbox
  ☆22Updated 6 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
• purplesyringa / PijulGit
  Pijul <-> Git proxy
  ☆19Updated 5 years ago
• leanprover / super
  Superposition prover
  ☆16Updated last year
• art4711 / random-double
  An algorithm for generating random doubles.
  ☆12Updated 7 years ago
• mknyszek / rust-libquantum
  Rust bindings for libquantum
  ☆11Updated 6 years ago
• segeljakt / type-theory
  Typed λ-calculus in Rust
  ☆28Updated last year
• Hirevo / koak
  A compiler for a little statically-typed language implemented in Haskell.
  ☆13Updated 5 years ago
• eholk / rust-stl
  Stereo lithography file support for Rust.
  ☆11Updated last year
• nixcloud / nixcrates
  A drop-in replacement for `cargo` which yet uses crates.io index
  ☆15Updated 7 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆43Updated 9 years ago
• hellerve / cspfuck
  Brainfuck with Actors
  ☆36Updated 5 years ago
• frankmcsherry / explanation
  Infrastructure for explaining the outputs of differential dataflow computations
  ☆22Updated 8 years ago
• arcfide / Haven
  Your happy place for learning APL
  ☆16Updated last year
• ramadis / slang
  📟 Encoding/Decoding tool for Martin David's theoretical S language programs.
  ☆16Updated 8 years ago
• tangentstorm / syndir
  a syntax directed editor
  ☆17Updated 7 months ago
• DaveAckley / ULAM
  Compiler for MFM programming language
  ☆21Updated 3 weeks ago
• LouisJenkinsCS / Distributed-Data-Structures
  [GSoC] Distributed Data Structures - Collections Framework for Chapel language
  ☆15Updated 6 years ago
• ketralnis / pipelines-rs
  A rust crate for creating concurrent pipelines
  ☆9Updated 6 years ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆33Updated 2 years ago
• chrisroman / coc
  Calculus of Constructions Implementation
  ☆14Updated 4 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 8 years ago
• attresearch / yakker
  ☆22Updated 12 years ago