Willem3141 / plover_dutchLinks
My Dutch steno theory and dictionary
☆12Updated 2 weeks ago
Alternatives and similar repositories for plover_dutch
Users that are interested in plover_dutch are comparing it to the libraries listed below
Sorting:
- Type-driven syntactic and semantic effectful parsing for NL☆15Updated this week
- A featureful sound change applier for language construction☆40Updated 2 weeks ago
- The Incredible Proof Machine☆384Updated 8 months ago
- A formal logic framework that runs in the browser☆306Updated 10 months ago
- Browser-based Typing Drill Widget☆74Updated 2 years ago
- A wiki for collaborative work on totally legitimate "category theory"☆125Updated last year
- Haskell Gamedev Toolkit, a library for developing games from scratch.☆67Updated last year
- Painless 2D vector graphics, animations, and simulations powered by GLFW (Fork of gloss)☆43Updated last month
- I wanted to make a nicer sticker for Munihac, then things got out of hand.☆152Updated 9 months ago
- 🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo☆42Updated 9 months ago
- Free computer-aided transcription system for stenographers☆27Updated 3 years ago
- How I start Haskell.☆100Updated 3 months ago
- The collected works of F. W. Lawvere☆365Updated last year
- Haskell Tiny Game Jam☆171Updated 2 years ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆403Updated this week
- ☆15Updated 2 years ago
- Example showing how to build a statically-linked Haskell executable with Nix and attach it to a GitHub Release☆23Updated last year
- A simple Nix-Haskell skeleton☆118Updated 4 months ago
- Course materials for Chalmers TPIL25 class☆15Updated 8 months ago
- You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?☆35Updated 4 years ago
- Set Theory Game☆20Updated last week
- A reference library for constraint-solving with propagators and CDCL.☆306Updated last year
- Lambda Calculus compiler for Codewars☆16Updated last month
- Agda as a collaborative multiplayer game☆38Updated last year
- SVG glyphs for sitelen sitelen☆24Updated last year
- Typey Type for Stenographers is a free typing app designed specifically to help steno students practise and rapidly master stenography.☆103Updated this week
- A Haskell roguelike toolkit☆12Updated 3 months ago
- Di's Plover-theory stenography dictionaries used by Typey Type for Stenographers.☆92Updated 3 months ago
- Competitive programming utilities in Haskell☆39Updated last month
- A collection of tools for writing technical documents that mix Coq code and prose.☆277Updated last month