bollu / wardLinks
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
Sorting:
- 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
- The WIP book for CPSC 411☆64Updated 3 weeks ago
- A collection of templates and solutions for Competitive Programming in Haskell☆29Updated 3 years ago
- notes I've made from books I've read, courses I've taken etc☆16Updated 2 months ago
- All things done for IIIT research.☆10Updated 4 years ago
- Competitive programming utilities in Haskell☆30Updated 5 months ago
- Tool for user verification via CAS on Discord servers.☆20Updated last year
- An elegant implementation of discrete diffgeo in haskell☆33Updated 5 years ago
- The theory of groups☆77Updated last year
- Archive of my notes taken at lectures in IIITH☆25Updated 3 years ago
- embedding MLIR in LEAN☆47Updated 11 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
- Discord Bot that moderates Harassment along with Toxicity and Depressive Behavior☆12Updated last month
- Gallina to Bedrock2 compilation toolkit☆54Updated this week
- Example of the workspace to fork☆10Updated 6 months ago
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago
- An encyclopedia of proofs☆60Updated 6 months ago
- Slides and handwritten notes on the course on models of programming languages☆51Updated 4 years ago
- Rules for writing academic papers and checking them using LTex-ls and LanguageTool☆19Updated 3 months ago
- A Turing complete language 😉☆42Updated 4 years ago
- Study of language design and implementation.☆67Updated 4 years ago
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆60Updated last year
- Bologna Optimal Higher-Order Machine, Version 1.1☆72Updated 8 years ago
- "We must know. We shall know." - David Hilbert☆21Updated 3 months ago
- Syllabus and course offerings for courses in IIITH.☆29Updated last year
- Yoneda lemma in every known language☆17Updated 2 years ago
- Basically listing out how to get some basic logistics out of the way☆267Updated last year
- Resources related to IIITH courses for learning beyond the courses.☆138Updated 2 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020☆19Updated 5 years ago