bollu / ward
WARD is a minimal, performant infinite whiteboard app for wacom tablets
☆21Updated 3 years ago
Alternatives and similar repositories for ward:
Users that are interested in ward are comparing it to the libraries listed below
- 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 3 years ago
- Latex notes on papers, courses, ideas: Pure math and computer science.☆61Updated last year
- A collection of templates and solutions for Competitive Programming in Haskell☆27Updated 3 years ago
- All things done for IIIT research.☆8Updated 4 years ago
- Archive of my notes taken at lectures in IIITH☆25Updated 3 years ago
- Competitive programming utilities in Haskell☆29Updated 2 weeks ago
- notes I've made from books I've read, courses I've taken etc☆15Updated 6 months ago
- "We must know. We shall know." - David Hilbert☆20Updated 2 months ago
- The WIP book for CPSC 411☆60Updated this week
- C++ library for semigroups and monoids☆45Updated this week
- Quantitative Type Theory implementation☆54Updated 3 years ago
- A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages☆69Updated 7 years ago
- The theory of groups☆76Updated last year
- Notes on Functional Programming and related topics☆30Updated 2 years ago
- A Turing complete language 😉☆40Updated 4 years ago
- Building group theory from scratch in Lean☆59Updated 3 years ago
- Simple operating system for QEMU's virt board.☆10Updated 3 years ago
- racket llvm C-API bindings☆17Updated last month
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago
- Tool for user verification via CAS on Discord servers.☆20Updated 9 months ago
- ☆35Updated 3 years ago
- Syllabus and course offerings for courses in IIITH.☆29Updated last year
- Resources related to IIITH courses for learning beyond the courses.☆138Updated 2 years ago
- An interactive theorem prover for string diagrams☆109Updated 2 months ago
- My tools for CP☆28Updated 3 years ago
- A book about functional programming in Lean☆40Updated 11 months ago
- Lambda calculus implemented directly from Alonzo Church's 1936 paper☆12Updated last year
- Binary rational numbers in Coq [maintainer=@herbelin]☆12Updated last year
- Assignments done during the Machine Data & Learning course☆9Updated 4 years ago
- ☆78Updated 4 months ago