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.☆61Updated 2 years ago
- The WIP book for CPSC 411☆66Updated last month
- An upcoming operating system built on Type-Theory☆43Updated 5 years ago
- The Complex Number Game. Make the complex numbers in Lean.☆40Updated 2 years ago
- An encyclopedia of proofs☆61Updated 9 months ago
- Trying to write an understandable implementation of Haskell, in Haskell☆125Updated 4 years ago
- embedding MLIR in LEAN☆47Updated last year
- Bologna Optimal Higher-Order Machine, Version 1.1☆75Updated 8 years ago
- Building group theory from scratch in Lean☆60Updated 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
- Notes on Functional Programming and related topics☆30Updated 3 years ago
- The theory of groups☆80Updated last year
- CMSC 430 Design and Implementation of Programming Languages☆51Updated this week
- A sudoku game where you have to prove that your deductions are valid☆116Updated 2 years ago
- Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master☆24Updated 5 years ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 3 years ago
- A collection of templates and solutions for Competitive Programming in Haskell☆29Updated 3 years ago
- Slides and handwritten notes on the course on models of programming languages☆51Updated 4 years ago
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- Course on Metaprogramming☆72Updated last month
- A Turing complete language 😉☆42Updated 4 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago
- A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages☆70Updated 8 years ago
- Printable (A4) overview of tactics in Lean 4 for beginners☆29Updated 11 months ago
- A Gallina compiler with C++17 as an intermediate representation☆43Updated 4 years ago
- A Rust/WASM implementation of homotopy.io☆101Updated this week
- Reference compiler for c0☆36Updated 3 months ago
- Datatypes as quotients of polynomial functors☆36Updated 5 years ago
- C++ library for semigroups and monoids☆62Updated last week
- Exploration of primes, factorization and number theory through haskell☆10Updated 8 years ago