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.
  ☆66Updated 2 years ago
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆32Updated 4 years ago
• vijayphoenix / Compiler-written-in-Haskell
  A Turing complete language 😉
  ☆42Updated 5 years ago
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆53Updated 5 years ago
• ImperialCollegeLondon / group-theory-game
  Building group theory from scratch in Lean
  ☆62Updated 5 years ago
• bblum / landslide
  stateless model checking for thread libraries, kernels, and transactional memory
  ☆10Updated 7 years ago
• tetrapharmakon / yoneda-in-tongues
  Yoneda lemma in every known language
  ☆17Updated 2 years ago
• jonsterling / math
  A mini-book on category theory. Superseded by https://github.com/jonsterling/forest
  ☆53Updated 3 years ago
• Soonad / Moonad
  An upcoming operating system built on Type-Theory
  ☆43Updated 5 years ago
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆90Updated last year
• mit-pdos / mcqc
  A Gallina compiler with C++17 as an intermediate representation
  ☆43Updated 4 years ago
• pschachte / wybe
  A programming language supporting most of both declarative and imperative programming
  ☆52Updated last week
• cpsc411 / cpsc411-book
  The WIP book for CPSC 411
  ☆67Updated this week
• UniMath / Schools
  ☆94Updated 9 months ago
• boyland / sasylf
  Educational Proof Assistant for Type Theory
  ☆81Updated last week
• 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
• jonsterling / latex-dieudonne
  A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.
  ☆19Updated 4 years ago
• anurudhp / CPHaskell
  A collection of templates and solutions for Competitive Programming in Haskell
  ☆30Updated 4 years ago
• emilypi / group-theory
  The theory of groups
  ☆81Updated 2 years ago
• owo-lang / narc-rs
  (WIP) Dependently-typed programming language with Agda style dependent pattern matching
  ☆80Updated 5 years ago
• homotopy-io / homotopy-rs
  A Rust/WASM implementation of homotopy.io
  ☆110Updated this week
• kindelia-archive / LambdaVM
  A next-gen, massively parallel, beta-optimal functional runtime.
  ☆10Updated 4 years ago
• mmcqd / datatt
  A dependent type theory with user defined data types
  ☆47Updated 4 years ago
• dannypsnl / minic
  Minimalist compiler course, based on Essential of Compilation
  ☆11Updated last month
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆117Updated 3 years ago
• avigad / qpf
  Datatypes as quotients of polynomial functors
  ☆39Updated 5 years ago
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆95Updated last year
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆57Updated 2 weeks ago
• atennapel / tinka-hs
  Dependently typed programming language written in Haskell
  ☆22Updated 3 years ago
• cronokirby / haskell-in-haskell
  Trying to write an understandable implementation of Haskell, in Haskell
  ☆125Updated 4 years ago