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 4 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☆28Updated 3 years ago
- notes I've made from books I've read, courses I've taken etc☆16Updated last month
- All things done for IIIT research.☆10Updated 4 years ago
- The theory of groups☆76Updated last year
- Archive of my notes taken at lectures in IIITH☆25Updated 3 years ago
- An elegant implementation of discrete diffgeo in haskell☆33Updated 5 years ago
- Haskell bindings to SymEngine☆25Updated last year
- Simple operating system for QEMU's virt board.☆11Updated 3 years ago
- Slides and handwritten notes on the course on models of programming languages☆51Updated 4 years ago
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆60Updated last year
- Notes on Functional Programming and related topics☆29Updated 2 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago
- My tools for CP☆28Updated 3 years ago
- The WIP book for CPSC 411☆64Updated this week
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- racket llvm C-API bindings☆17Updated 5 months ago
- 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
- Linear Algebra Done...Lean☆17Updated 7 years ago
- An arbitrary-precision differentiable programming language.☆36Updated last year
- A Turing complete language 😉☆42Updated 4 years ago
- Theorem proving in Lean☆49Updated 6 months ago
- Quantitative Type Theory implementation☆54Updated 3 years ago
- Trying to write an understandable implementation of Haskell, in Haskell☆125Updated 4 years ago
- Verified C programming in Agda☆16Updated 4 years ago
- Datatypes as quotients of polynomial functors☆35Updated 5 years ago
- Library implementing type inference/checking functionality based on the Lean theorem prover☆57Updated 10 months ago
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆32Updated 2 months ago
- Pure haskell encoding of MLIR for printing, parsing, and mutating MLIR within haskell☆16Updated 4 years ago