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
  ☆27Updated 3 years ago
• iambrj / notes
  notes I've made from books I've read, courses I've taken etc
  ☆16Updated 7 months ago
• LightAndLight / qtt
  Quantitative Type Theory implementation
  ☆54Updated 3 years ago
• iiittheorygroup / iiittheorygroup.github.io
  "We must know. We shall know." - David Hilbert
  ☆20Updated 3 months ago
• AnimeshSinha1309 / research-notes
  All things done for IIIT research.
  ☆8Updated 4 years ago
• aimyskk / competitive-haskell
  Snippets for competitive programming in Haskell
  ☆22Updated 7 years ago
• pedrotst / coquedille
  A Coq to Cedille compiler written in Coq
  ☆33Updated 4 years ago
• dannypsnl / racket-llvm
  racket llvm C-API bindings
  ☆17Updated 2 months ago
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆31Updated 3 years ago
• siraben / fp-notes
  Notes on Functional Programming and related topics
  ☆29Updated 2 years ago
• jonsterling / latex-dieudonne
  A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.
  ☆19Updated 3 years ago
• madvorak / lean4-cheatsheet
  Printable (A4) overview of tactics in Lean 4 for beginners
  ☆24Updated 4 months ago
• emilypi / group-theory
  The theory of groups
  ☆76Updated last year
• fwcd / curry-language-server
  IDE support for the functional logic programming language Curry
  ☆30Updated this 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 2 years ago
• UniMath / Schools
  ☆79Updated 5 months ago
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆50Updated 4 years ago
• byorgey / comprog-hs
  Competitive programming utilities in Haskell
  ☆30Updated last month
• mb64 / simple-lambda-prolog
  A simple λProlog interpreter
  ☆20Updated 3 years ago
• vladimirias / old_notes_on_type_systems
  Voevodsky's notes on type systems. This version contains more material than the one on his website.
  ☆11Updated 10 years ago
• adrieng / melitte
  Toy implementation of Martin-Löf Type Theory
  ☆28Updated 2 years ago
• eviefp / logic-in-haskell
  Classical Logic in Haskell
  ☆24Updated this week
• ankitku / TAL0
  Based on paper by Greg Morrisett , TAL-0 is the design of a RISC-style typed assembly language which focuses on control-flow safety.
  ☆21Updated 8 years ago
• ImperialCollegeLondon / complex-number-game
  The Complex Number Game. Make the complex numbers in Lean.
  ☆36Updated 2 years ago
• FrozenWinters / SSTs
  Work in progress on semi-simplicial types
  ☆23Updated 2 years ago
• TOTBWF / muprl
  A small NuPRL style proof assistant
  ☆31Updated 6 years ago
• vijayphoenix / Compiler-written-in-Haskell
  A Turing complete language 😉
  ☆40Updated 4 years ago