bollu / wardLinks
WARD is a minimal, performant infinite whiteboard app for wacom tablets
☆22Updated 4 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.☆65Updated 2 years ago
- Slides and handwritten notes on the course on models of programming languages☆51Updated 5 years ago
- A programming language supporting most of both declarative and imperative programming☆52Updated 3 weeks ago
- Template to effortlessly build math-rich websites☆39Updated 4 years ago
- Building group theory from scratch in Lean☆62Updated 4 years ago
- The WIP book for CPSC 411☆66Updated 3 weeks ago
- A simple prolog implementation in Rust☆26Updated 5 years ago
- Dependently typed programming language written in Haskell☆22Updated 3 years ago
- Trying to write an understandable implementation of Haskell, in Haskell☆125Updated 4 years ago
- An encyclopedia of proofs☆64Updated last year
- Effective Algebraic Topology in Haskell☆90Updated last year
- A file-based mirror of the nLab wiki (Markdown+itex2MML format).☆34Updated this week
- The Complex Number Game. Make the complex numbers in Lean.☆42Updated 3 years ago
- Notes on Functional Programming and related topics☆30Updated 3 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆32Updated 3 years ago
- Yoneda lemma in every known language☆17Updated 2 years ago
- dependent type theory experiment☆26Updated last year
- Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master☆24Updated 5 years ago
- A sudoku game where you have to prove that your deductions are valid☆117Updated 3 years ago
- C++ library for semigroups and monoids☆63Updated 3 weeks ago
- A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages☆72Updated 8 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
- embedding MLIR in LEAN☆48Updated last year
- An arbitrary-precision differentiable programming language.☆36Updated 2 years ago
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 4 years ago
- A book about functional programming in Lean☆45Updated last year
- A collection of templates and solutions for Competitive Programming in Haskell☆29Updated 4 years ago
- A minimal esolang based on lambda calculus☆16Updated 4 years ago
- Polynomial semantics of linear logic☆13Updated 7 years ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆83Updated 8 years ago