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.
  ☆64Updated 2 years ago
• bblum / landslide
  stateless model checking for thread libraries, kernels, and transactional memory
  ☆10Updated 6 years ago
• cpsc411 / cpsc411-book
  The WIP book for CPSC 411
  ☆66Updated 3 months ago
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆51Updated 4 years ago
• anurudhp / CPHaskell
  A collection of templates and solutions for Competitive Programming in Haskell
  ☆29Updated 3 years ago
• xieyuheng / study
  Study of language design and implementation.
  ☆66Updated 5 years ago
• ergawy / types-and-programming-languages
  C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..
  ☆34Updated 5 years ago
• ncatlab / nlab-content
  A file-based mirror of the nLab wiki (Markdown+itex2MML format).
  ☆32Updated this week
• mit-frap / spring20
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020
  ☆19Updated 5 years ago
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆32Updated 3 years ago
• dmurfet / polysemantics
  Polynomial semantics of linear logic
  ☆13Updated 7 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆37Updated 7 months 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 2 years ago
• melody-notpond / owos-riscv
  Simple operating system for QEMU's virt board.
  ☆11Updated 4 years ago
• techcentaur / Krivine-Machine
  Abstract krivine machine implementing call-by-name semantics. In OCaml.
  ☆45Updated 7 years ago
• favonia / hdtt2020-notes
  ☆36Updated 4 years ago
• mit-plv / rupicola
  Gallina to Bedrock2 compilation toolkit
  ☆62Updated 3 weeks ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆81Updated 8 years ago
• ImperialCollegeLondon / group-theory-game
  Building group theory from scratch in Lean
  ☆60Updated 4 years ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆63Updated 11 months ago
• bollu / timi
  A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages
  ☆72Updated 8 years ago
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆19Updated 5 years ago
• siraben / mini-haskell
  A self-hosting mini Haskell compiler with a mini C runtime.
  ☆76Updated 5 years ago
• T-Brick / c0deine
  Reference compiler for c0
  ☆37Updated 5 months ago
• varkor / tangle
  A modern string diagram editor for the web.
  ☆25Updated 6 months ago
• dannypsnl / racket-llvm
  racket llvm C-API bindings
  ☆18Updated 3 months ago
• boyland / sasylf
  Educational Proof Assistant for Type Theory
  ☆80Updated last year
• BartoszMilewski / PolyLens
  Polynomial Lens
  ☆29Updated 2 years ago
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆48Updated last year
• avigad / qpf
  Datatypes as quotients of polynomial functors
  ☆36Updated 5 years ago