Alternatives and similar repositories for ward

Users that are interested in ward are comparing it to the libraries listed below

• bollu / notes
  Latex notes on papers, courses, ideas: Pure math and computer science.
  ☆65Updated 2 years ago
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆53Updated 5 years ago
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆32Updated 4 years ago
• tlringer / proof-demos
  Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic
  ☆38Updated 3 years ago
• anurudhp / CPHaskell
  A collection of templates and solutions for Competitive Programming in Haskell
  ☆30Updated 4 years ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆64Updated last year
• vijayphoenix / Compiler-written-in-Haskell
  A Turing complete language 😉
  ☆42Updated 5 years ago
• ProjitB / LearnVimEasily
  Compilation of notes I've written on VIM from a variety of sources, which hopefully showcases at least some of the cool functionality of …
  ☆32Updated 4 years ago
• LightAndLight / qtt
  Quantitative Type Theory implementation
  ☆54Updated 4 years ago
• acorrenson / modulus
  A constraint solver built from scratch in OCaml
  ☆12Updated 4 years ago
• ehatti / LHL
  Linearizability Hoare Logic
  ☆17Updated 10 months ago
• dannypsnl / minic
  Minimalist compiler course, based on Essential of Compilation
  ☆11Updated last month
• cpsc411 / cpsc411-book
  The WIP book for CPSC 411
  ☆67Updated this week
• mb64 / simple-lambda-prolog
  A simple λProlog interpreter
  ☆20Updated 4 years ago
• slasser / vermillion
  LL(1) parser generator verified in Coq
  ☆48Updated 6 years ago
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆20Updated 5 years ago
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 5 years ago
• pschachte / wybe
  A programming language supporting most of both declarative and imperative programming
  ☆52Updated last week
• thamugadi / semantic-preservation
  Attempt to prove semantic preservation (forward simulation) for a simple compiler.
  ☆12Updated last year
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆66Updated 4 years ago
• Soonad / Moonad
  An upcoming operating system built on Type-Theory
  ☆43Updated 5 years ago
• psg-mit / smooth
  An arbitrary-precision differentiable programming language.
  ☆36Updated 2 years ago
• jonsterling / math
  A mini-book on category theory. Superseded by https://github.com/jonsterling/forest
  ☆53Updated 3 years ago
• favonia / hdtt2020-notes
  ☆38Updated 4 years ago
• UniMath / Schools
  ☆94Updated 9 months ago
• bollu / discrete-differential-geometry
  An elegant implementation of discrete diffgeo in haskell
  ☆34Updated 6 years ago
• jdan / compiler.lean
  A formally verified compiler for a simple language with numbers and sums
  ☆27Updated 5 years ago
• ssomayyajula / linear
  Linear Algebra Done...Lean
  ☆19Updated 8 years ago
• ncfavier / agda-stuff
  My Agda blog/lab/playground
  ☆12Updated last week
• aspiwack / peppermint-prover
  Experimental proof assistant (and architecture) for dependent linear logic
  ☆51Updated 3 years ago