Alternatives and similar repositories for ward

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

• 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 …
  ☆31Updated 4 years ago
• bollu / notes
  Latex notes on papers, courses, ideas: Pure math and computer science.
  ☆61Updated last year
• anurudhp / CPHaskell
  A collection of templates and solutions for Competitive Programming in Haskell
  ☆29Updated 3 years ago
• cpsc411 / cpsc411-book
  The WIP book for CPSC 411
  ☆64Updated last month
• iiittheorygroup / iiittheorygroup.github.io
  "We must know. We shall know." - David Hilbert
  ☆21Updated 4 months ago
• byorgey / comprog-hs
  Competitive programming utilities in Haskell
  ☆37Updated 5 months ago
• madvorak / lean4-cheatsheet
  Printable (A4) overview of tactics in Lean 4 for beginners
  ☆29Updated 9 months ago
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆51Updated 4 years ago
• bollu / discrete-differential-geometry
  An elegant implementation of discrete diffgeo in haskell
  ☆33Updated 5 years ago
• AnimeshSinha1309 / research-notes
  All things done for IIIT research.
  ☆10Updated 4 years ago
• banrovegrie / Christine
  Discord Bot that moderates Harassment along with Toxicity and Depressive Behavior
  ☆12Updated last month
• emilypi / group-theory
  The theory of groups
  ☆78Updated last year
• leanprover / theorem_proving_in_lean
  Theorem proving in Lean
  ☆49Updated 8 months ago
• ssomayyajula / linear
  Linear Algebra Done...Lean
  ☆17Updated 7 years ago
• leanprover / functional_programming_in_lean
  A book about functional programming in Lean
  ☆42Updated last year
• LightAndLight / qtt
  Quantitative Type Theory implementation
  ☆54Updated 4 years ago
• ImperialCollegeLondon / group-theory-game
  Building group theory from scratch in Lean
  ☆60Updated 4 years ago
• codyroux / broad-coq-tutorial
  Some unstructured notes concerning the Broad tutorial to take place in March 2020
  ☆32Updated 3 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 2 years ago
• cronokirby / haskell-in-haskell
  Trying to write an understandable implementation of Haskell, in Haskell
  ☆125Updated 4 years ago
• boyland / sasylf
  Educational Proof Assistant for Type Theory
  ☆74Updated 10 months ago
• ImperialCollegeLondon / complex-number-game
  The Complex Number Game. Make the complex numbers in Lean.
  ☆40Updated 2 years ago
• bollu / timi
  A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages
  ☆70Updated 8 years ago
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆31Updated 3 years ago
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated last year
• plclub / hs-to-coq
  Convert Haskell source code to Coq source code.
  ☆85Updated this week
• kim-em / lean-category-theory
  An experimental category theory library for Lean
  ☆51Updated last year
• iambrj / notes
  notes I've made from books I've read, courses I've taken etc
  ☆16Updated 2 months ago
• vijayphoenix / Compiler-written-in-Haskell
  A Turing complete language 😉
  ☆42Updated 4 years ago
• mallika2011 / Archive-Abode
  Archive of my notes taken at lectures in IIITH
  ☆25Updated 3 years ago