Alternatives and similar repositories for masters-thesis

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

• 0b01 / tensorscript
  shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)
  ☆52Updated 2 years ago
• nixpulvis / lambash
  A λ-calculus shell (because I love writing shells).
  ☆11Updated 6 years ago
• OscarCunningham / logic-life-search
  Cellular automata search program
  ☆26Updated 3 years ago
• mratsim / rustygo
  A Go bot written in Rust with Monte Carlo Tree Search & a brain dump on go bot optimizations
  ☆27Updated 7 years ago
• nixpulvis / lalrpop-lambda
  A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.
  ☆86Updated last year
• dmishin / hyperbolic-ca-simulator
  Simulator of cellular automata on hyperbolic (Lobachevsky) plane, in browser.
  ☆38Updated 7 years ago
• zacstewart / comm
  A hypothetical, distributed, encrypted, instant messaging protocol.
  ☆63Updated 7 years ago
• brendanzab / algebra
  Abstract algebra for Rust (still very much a WIP!)
  ☆62Updated 3 years ago
• salmans / rusty-razor
  Razor is a tool for constructing finite models for first-order theories
  ☆55Updated 3 years ago
• lanl / QA-Prolog
  Quantum Annealing Prolog
  ☆39Updated 3 years ago
• novacrazy / dual_num
  Dual Number library for Rust
  ☆17Updated 4 years ago
• fancompute / ising-compiler
  🍰 Compiling your code to an Ising Hamiltonian so you don't have to!
  ☆53Updated 5 years ago
• Limeth / hestenes
  Geometric algebra library for Rust
  ☆22Updated 7 years ago
• caphindsight / ergothic
  Rust library for setting up and running distributed Monte-Carlo statistical simulations. Designed primarily for lattice QCD.
  ☆41Updated 6 years ago
• rigetti / reference-qvm
  A reference implementation for a quantum virtual machine in Python
  ☆47Updated 6 years ago
• quantum-mechanics-for-everyone / simulations
  JavaScript MOOC simulations for the edX class Quantum Mechanics for Everyone provided by Georgetown University
  ☆18Updated 8 years ago
• trishume / gigatrace
  Proof-of-concept for a memory-efficient data structure for zooming billion-event traces
  ☆70Updated 4 years ago
• msiemens / RusTiny
  A Rust-like language compiling to x86-64 assembler
  ☆54Updated 3 years ago
• vkostyukov / quipu
  Quipu Programming Language
  ☆20Updated 12 years ago
• Q1tBV / q1tsim
  A simple, efficient, quantum computer simulator.
  ☆29Updated 4 years ago
• mAarnos / Serkr
  An automated theorem prover for first order logic.
  ☆30Updated 8 years ago
• mapmeld / quantum-peep
  Multi-platform quantum programming library, written in TypeScript, good for JS/NodeJS
  ☆34Updated 2 years ago
• NoraCodes / sbrain
  A library for execution of Semantic Brain, based on Urban Müller's famous but unprintable language.
  ☆24Updated 6 years ago
• hawkw / mnemosyne
  A functional systems programming language with compile-time memory management
  ☆31Updated 4 years ago
• HaoZeke / Q_ANN
  A proof of concept of Neural Networking for Quantum State recognition.
  ☆68Updated 8 years ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆43Updated 3 weeks ago
• fizyk20 / 4d-labyrinth
  A 4-dimensional labyrinth
  ☆26Updated 6 years ago
• Metadiff / gir
  Graph Intermediate Representation (GIR) library for ML
  ☆23Updated 8 years ago
• eugene-bulkin / rolling-shutter
  A program that generates rolling-shutter images from a set of frames.
  ☆14Updated 8 years ago
• advancedresearch / poi
  a pragmatic point-free theorem prover assistant
  ☆143Updated 3 months ago