Willem3141 / plover_dutchLinks
My Dutch steno theory and dictionary
☆13Updated 2 months ago
Alternatives and similar repositories for plover_dutch
Users that are interested in plover_dutch are comparing it to the libraries listed below
Sorting:
- A wiki for collaborative work on totally legitimate "category theory"☆132Updated last year
- A formal logic framework that runs in the browser☆323Updated last year
- Type-driven syntactic and semantic effectful parsing for NL☆15Updated 2 months ago
- JavaScript library to turn Toki Pona text into the Sitelen Sitelen or Sitelen Suwi non-linear writing style.☆73Updated last month
- Free computer-aided transcription system for stenographers☆27Updated 3 years ago
- Catalog of visual lambda calculi☆164Updated 5 months ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆412Updated this week
- A systems theorem prover☆12Updated last year
- Agda as a collaborative multiplayer game☆38Updated last year
- agda-mode for neovim☆173Updated 2 months ago
- Climb into Cantor’s Attic, where you will find infinities large and small. We aim to provide a comprehensive resource of information abou…☆33Updated 2 years ago
- Set Theory Game☆22Updated last month
- The official interpreter for the Jeopardy language☆16Updated 3 years ago
- The Slate Interactive Theorem Prover☆23Updated 3 years ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆130Updated 4 months ago
- Course materials for Chalmers TPIL25 class☆15Updated 10 months ago
- Browser-based Typing Drill Widget☆74Updated 2 years ago
- ☆352Updated 3 months ago
- A collection of tools for writing technical documents that mix Coq code and prose.☆282Updated 3 months ago
- surreal cellular automata☆355Updated 7 months ago
- Ressources pour la classe de MPI* à Louis-le-Grand☆29Updated this week
- Code challenges to solve with Haskell☆183Updated 3 months ago
- How I start Haskell.☆100Updated 6 months ago
- Logical manifestations of topological concepts, and other things, via the univalent point of view.☆268Updated last week
- The Incredible Proof Machine☆388Updated last month
- Я - extremely composable embeddable programming language☆102Updated this week
- ☆64Updated 3 years ago
- Website for the Hypercubing community☆22Updated last week
- My mathematical Zettelkasten, created using forester. Moved to sourcehut.☆89Updated 7 months ago
- A categorical programming language with effects☆290Updated 2 years ago