bollu / wardLinks
WARD is a minimal, performant infinite whiteboard app for wacom tablets
☆22Updated 3 years ago
Alternatives and similar repositories for ward
Users that are interested in ward are comparing it to the libraries listed below
Sorting:
- Latex notes on papers, courses, ideas: Pure math and computer science.☆64Updated 2 years ago
- The WIP book for CPSC 411☆66Updated 4 months ago
- A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages☆72Updated 8 years ago
- A programming language supporting most of both declarative and imperative programming☆52Updated last week
- A sudoku game where you have to prove that your deductions are valid☆117Updated 3 years ago
- Sed Lisp -- a lisp interpreter in GNU sed☆55Updated 5 years ago
- ☆89Updated 4 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆32Updated 3 years ago
- ☆11Updated 4 years ago
- Building group theory from scratch in Lean☆60Updated 4 years ago
- Study of language design and implementation.☆66Updated 5 years ago
- stateless model checking for thread libraries, kernels, and transactional memory☆10Updated 6 years ago
- An upcoming operating system built on Type-Theory☆43Updated 5 years ago
- An encyclopedia of proofs☆63Updated last year
- ☆92Updated 7 months ago
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆60Updated 5 months ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020☆19Updated 5 years ago
- Slides and handwritten notes on the course on models of programming languages☆51Updated 5 years ago
- Abstract krivine machine implementing call-by-name semantics. In OCaml.☆45Updated 7 years ago
- Educational Proof Assistant for Type Theory☆79Updated this week
- notes I've made from books I've read, courses I've taken etc☆17Updated last month
- A self-hosting mini Haskell compiler with a mini C runtime.☆77Updated 5 years ago
- Gallina to Bedrock2 compilation toolkit☆64Updated last week
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆80Updated 5 years ago
- C++ library for semigroups and monoids☆62Updated last week
- Trying to write an understandable implementation of Haskell, in Haskell☆125Updated 4 years ago
- racket llvm C-API bindings☆18Updated 4 months ago
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆62Updated 4 years ago
- Yoneda lemma in every known language☆17Updated 2 years ago
- Normalization by evaluation for Martin-Löf Type Theory with dependent records☆101Updated 3 years ago