Willem3141 / plover_dutch
My Dutch steno theory and dictionary
☆10Updated 4 months ago
Related projects ⓘ
Alternatives and complementary repositories for plover_dutch
- My Plover dictionaries. Home of Lapwing theory and my Vietnamese steno system.☆51Updated 2 weeks ago
- Free computer-aided transcription system for stenographers☆25Updated 2 years ago
- A modern proof language☆8Updated 3 years ago
- Plover paper tape plugin with hesitation bars and stroke suggestions☆14Updated 2 years ago
- Haskell Gamedev Toolkit, a library for developing games from scratch.☆66Updated 11 months ago
- A community-driven collection of documentation for Haskell error messages and warnings☆102Updated 3 weeks ago
- Climb into Cantor’s Attic, where you will find infinities large and small. We aim to provide a comprehensive resource of information abou…☆27Updated 11 months ago
- Agda as a collaborative multiplayer game☆31Updated last month
- agda-mode for neovim☆134Updated last month
- Embedded Steno Engine☆67Updated 2 weeks ago
- Staged compilation with dependent types☆162Updated this week
- Online book to learn steno with Lapwing theory.☆25Updated 2 weeks ago
- A work-in-progress core language for Agda, in Agda☆41Updated 2 weeks ago
- ☆63Updated 2 years ago
- ☆10Updated last week
- A slow-paced introduction to reflection in Agda. ---Tactics!☆95Updated 2 years ago
- TinyAPL, a tiny APL dialect and interpreter in Haskell☆38Updated this week
- How I start Haskell.☆99Updated last month
- Online REPL for BQN☆33Updated last year
- LLVM code generation in Haskell☆51Updated 3 weeks ago
- Haskell's IO simulator which closely follows core packages (base, async, stm).☆38Updated this week
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆64Updated 9 months ago
- The Slate Interactive Theorem Prover☆23Updated last year
- Portable stenography using Plover and bluetooth keyboard emulation on a Raspberry Pi Zero W☆170Updated 2 years ago
- Advent of Code complete solution archive and common library☆36Updated 3 months ago
- Fast equality saturation in Haskell☆77Updated 6 months ago
- A non-interactive proof assistant using the Haskell type system☆35Updated 4 years ago
- JavaScript library to turn Toki Pona text into the Sitelen Sitelen or Sitelen Suwi non-linear writing style.☆66Updated last year
- A discord frontend for an interactive interpreter bot☆22Updated last year
- French steno theory/dictionary for Plover☆22Updated 2 weeks ago