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
- The WIP book for CPSC 411☆63Updated 2 weeks ago
- An elegant implementation of discrete diffgeo in haskell☆33Updated 5 years ago
- A collection of templates and solutions for Competitive Programming in Haskell☆27Updated 3 years ago
- A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages☆69Updated 8 years ago
- Haskell bindings to SymEngine☆25Updated last year
- Archive of my notes taken at lectures in IIITH☆25Updated 3 years ago
- "We must know. We shall know." - David Hilbert☆21Updated last month
- A Turing complete language 😉☆42Updated 4 years ago
- Competitive programming utilities in Haskell☆30Updated 2 months ago
- An implementation of Fibonacci Anyons in Haskell☆22Updated 5 years ago
- Discord Bot that moderates Harassment along with Toxicity and Depressive Behavior☆12Updated 4 years ago
- Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master☆24Updated 4 years ago
- notes I've made from books I've read, courses I've taken etc☆16Updated this week
- A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.☆19Updated 3 years ago
- ☆18Updated 3 years ago
- Tool for user verification via CAS on Discord servers.☆20Updated 11 months ago
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- All things done for IIIT research.☆8Updated 4 years ago
- Deposited packages of the homalg project☆13Updated 3 months ago
- Notes on Functional Programming and related topics☆29Updated 2 years ago
- Encoding of GHC Core inside MLIR☆17Updated 4 years 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
- Theorem proving in Lean☆49Updated 5 months ago
- A language built atop the Sparse Synchronous Model☆18Updated last year
- Some examples of Lean projects, for undergraduate mathematicians.☆22Updated 3 years ago
- Symbolic Geometric Algebra with E-Graphs☆19Updated last year
- embedding MLIR in LEAN☆47Updated 9 months ago
- racket llvm C-API bindings☆17Updated 3 months ago