WARD is a minimal, performant infinite whiteboard app for wacom tablets
☆22Dec 29, 2021Updated 4 years ago
Alternatives and similar repositories for ward
Users that are interested in ward are comparing it to the libraries listed below
Sorting:
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- Example code demonstrating how SML modules, in particular functors, can be used for structuring a web framework.☆14Feb 26, 2014Updated 12 years ago
- A simple paint application written in Zig. Used to create an OpenGL loader/wrapper and a minimal UI system.☆11Aug 14, 2019Updated 6 years ago
- A practical application launcher for impractical people☆12Dec 21, 2023Updated 2 years ago
- SML implementation of System T from PFPL.☆11Jun 28, 2017Updated 8 years ago
- Implementatoin of Selinger's Typed Quantum Lambda Calculus☆13Oct 29, 2019Updated 6 years ago
- Agda from Nothing: Order in the Types☆13Jan 23, 2017Updated 9 years ago
- New version of the PML language and (classical) proof assistant☆21Feb 13, 2026Updated 2 weeks ago
- Interpreter for functional pure type systems.☆21Jun 30, 2017Updated 8 years ago
- Solutions to Friedland's Control System Design: An Introduction to State Space Methods☆24Nov 13, 2021Updated 4 years ago
- An auto-formatter for the Standard ML language☆23Apr 22, 2020Updated 5 years ago
- Mrcache is the fastest in memory KV store☆26Oct 29, 2024Updated last year
- Tiny type-checker with dependent types☆78Jan 8, 2014Updated 12 years ago
- ICFP Bingo 2017 (Idris edition)☆30Aug 22, 2019Updated 6 years ago
- A Fractional NFT Lending platform that supports 1-to-many relation between borrower and lenders with collateral protection for borrower o…☆11Feb 28, 2023Updated 3 years ago
- NLP-helper for OCR-ed pages in PAGE XML format☆10Dec 6, 2024Updated last year
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- 🧠🗺 because your mind doesn't have ugly boxes everywhere☆12Aug 17, 2022Updated 3 years ago
- A tiny event emitter in C☆18Nov 21, 2014Updated 11 years ago
- OUTDATED and INCOMPATIBLE with rockchip_ebc custom driver☆10Mar 19, 2025Updated 11 months ago
- Standard ML compiler based on typed intermediate languages.☆51Aug 22, 2014Updated 11 years ago
- An experimental interactive shell for Alpaca, the ML language that runs on the Erlang VM☆10Jun 7, 2017Updated 8 years ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- LV2 Gtk2/3 UIs as LV2 X11 UIs☆13Jun 4, 2024Updated last year
- (Moved to https://git.haschu.me/haschu/foobar) A bar, launcher, control center, and notification daemon I wrote for my personal desktop.☆13Jun 22, 2025Updated 8 months ago
- Colorschemes for Sup☆14Apr 24, 2014Updated 11 years ago
- Add Cross-Origin Resource Sharing (CORS) headers for Grails 3 applications.☆10Oct 31, 2016Updated 9 years ago
- Formalization of Linear Logic☆11Jun 25, 2017Updated 8 years ago
- stateless model checking for thread libraries, kernels, and transactional memory☆10Dec 26, 2018Updated 7 years ago
- A CLI to control device backlight☆10Sep 20, 2025Updated 5 months ago
- this is a wonderful tool to manage your audio from a terminal no more pavucontrol☆14Sep 30, 2025Updated 5 months ago
- C recursive descent parser based on Ian Piumarta's peg(1)☆20Feb 4, 2014Updated 12 years ago
- Handwritten text input for your PineNote☆14Dec 28, 2024Updated last year
- A simple ML dialect☆11Jan 2, 2017Updated 9 years ago
- Type theory + whales and syntax☆11Nov 28, 2019Updated 6 years ago
- Exploration of primes, factorization and number theory through haskell☆10Oct 10, 2016Updated 9 years ago
- Exámenes de programación funcional con Haskell☆10Jun 18, 2023Updated 2 years ago
- Web frontend for GHC☆12Dec 10, 2019Updated 6 years ago
- HOL Guidebook☆12Oct 11, 2024Updated last year