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
• 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
• bollu / timi
  A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages
  ☆72Updated 8 years ago
• cpsc411 / cpsc411-book
  The WIP book for CPSC 411
  ☆66Updated 5 months ago
• anurudhp / CPHaskell
  A collection of templates and solutions for Competitive Programming in Haskell
  ☆29Updated 4 years ago
• siraben / fp-notes
  Notes on Functional Programming and related topics
  ☆30Updated 3 years ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆64Updated last year
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆51Updated 5 years ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆117Updated 3 years ago
• pschachte / wybe
  A programming language supporting most of both declarative and imperative programming
  ☆52Updated this week
• xieyuheng / study
  Study of language design and implementation.
  ☆66Updated 5 years ago
• dannypsnl / racket-llvm
  racket llvm C-API bindings
  ☆18Updated 5 months ago
• mit-plv / rupicola
  Gallina to Bedrock2 compilation toolkit
  ☆65Updated 2 weeks ago
• UniMath / Schools
  ☆93Updated 7 months ago
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆95Updated last year
• cronokirby / haskell-in-haskell
  Trying to write an understandable implementation of Haskell, in Haskell
  ☆125Updated 4 years ago
• melody-notpond / owos-riscv
  Simple operating system for QEMU's virt board.
  ☆11Updated 4 years ago
• brendanzab / rust-nbe-for-mltt
  Normalization by evaluation for Martin-Löf Type Theory with dependent records
  ☆101Updated 3 years ago
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆32Updated 3 years ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆83Updated 8 years ago
• ncatlab / nlab-content
  A file-based mirror of the nLab wiki (Markdown+itex2MML format).
  ☆34Updated this week
• thautwarm / Quick-Backend
  Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master
  ☆24Updated 5 years ago
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 5 years ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 6 years ago
• jonsterling / math
  A mini-book on category theory. Superseded by https://github.com/jonsterling/forest
  ☆53Updated 2 years ago
• andrejbauer / alg
  Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
  ☆84Updated 4 years ago
• techcentaur / Krivine-Machine
  Abstract krivine machine implementing call-by-name semantics. In OCaml.
  ☆45Updated 7 years ago
• dmurfet / polysemantics
  Polynomial semantics of linear logic
  ☆13Updated 7 years ago
• owo-lang / narc-rs
  (WIP) Dependently-typed programming language with Agda style dependent pattern matching
  ☆80Updated 5 years ago
• Soonad / Moonad
  An upcoming operating system built on Type-Theory
  ☆43Updated 5 years ago