Willem3141 / plover_dutchLinks
My Dutch steno theory and dictionary
☆12Updated last year
Alternatives and similar repositories for plover_dutch
Users that are interested in plover_dutch are comparing it to the libraries listed below
Sorting:
- The Slate Interactive Theorem Prover☆23Updated 2 years ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆393Updated this week
- Agda as a collaborative multiplayer game☆38Updated 10 months ago
- A wiki for collaborative work on totally legitimate "category theory"☆119Updated last year
- Climb into Cantor’s Attic, where you will find infinities large and small. We aim to provide a comprehensive resource of information abou…☆32Updated last year
- ☆233Updated 3 weeks ago
- Free computer-aided transcription system for stenographers☆26Updated 3 years ago
- Type-driven syntactic and semantic effectful parsing for NL☆15Updated 3 months ago
- Logical manifestations of topological concepts, and other things, via the univalent point of view.☆261Updated last week
- Typey Type for Stenographers is a free typing app designed specifically to help steno students practise and rapidly master stenography.☆102Updated this week
- JavaScript library to turn Toki Pona text into the Sitelen Sitelen or Sitelen Suwi non-linear writing style.☆72Updated last year
- Code challenges to solve with Haskell☆166Updated 4 months ago
- Course materials for Chalmers TPIL25 class☆14Updated 6 months ago
- How I start Haskell.☆100Updated last month
- HoTTEST Summer School materials☆311Updated 3 months ago
- The official interpreter for the Jeopardy language☆16Updated 2 years ago
- The collected works of F. W. Lawvere☆360Updated 11 months ago
- A collection of tools for writing technical documents that mix Coq code and prose.☆267Updated last week
- A featureful sound change applier for language construction☆39Updated 7 months ago
- Painless 2D vector graphics, animations, and simulations powered by GLFW (Fork of gloss)☆42Updated 3 months ago
- Programming with pure lambda calculus☆118Updated 2 weeks ago
- Haskell Tiny Game Jam☆167Updated 2 years ago
- Browser-based Typing Drill Widget☆74Updated last year
- My mathematical Zettelkasten, created using forester. Moved to sourcehut.☆88Updated 3 months ago
- Competitive programming utilities in Haskell☆39Updated 8 months ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆130Updated 2 weeks ago
- Staged compilation with dependent types☆179Updated 3 months ago
- The agda-unimath library☆263Updated this week
- Di's Plover-theory stenography dictionaries used by Typey Type for Stenographers.☆91Updated last month
- Describe Toki Pona using Grammatical Framework☆11Updated 5 years ago