Alternatives and similar repositories for plover_dutch

Users that are interested in plover_dutch are comparing it to the libraries listed below

• djvelleman / STG4
  Set Theory Game
  ☆22Updated last week
• digama0 / tpil25
  Course materials for Chalmers TPIL25 class
  ☆15Updated 9 months ago
• iblech / agdapad
  Agda as a collaborative multiplayer game
  ☆38Updated last year
• schar / TDParse
  Type-driven syntactic and semantic effectful parsing for NL
  ☆15Updated 3 weeks ago
• SReichelt / slate
  The Slate Interactive Theorem Prover
  ☆23Updated 2 years ago
• neugierde / cantors-attic
  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
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆126Updated last year
• bradrn / brassica
  A featureful sound change applier for language construction
  ☆42Updated last month
• leanprover-community / NNG4
  Natural Number Game
  ☆250Updated last month
• tonyday567 / checklist
  How I start Haskell.
  ☆100Updated 4 months ago
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆403Updated 3 weeks ago
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆278Updated 2 months ago
• berenoguz / Math
  Formalization of Mathematics using Type Theory of Agda Programming Language
  ☆11Updated 7 years ago
• jonsterling / forest
  My mathematical Zettelkasten, created using forester. Moved to sourcehut.
  ☆88Updated 5 months ago
• himikof / typed-lojban
  An experimental typing of Lojban grammar, in Haskell
  ☆13Updated 12 years ago
• codyroux / name-the-biggest-number
  ☆64Updated 3 years ago
• nyusemantics / LambdaCalculatorPublic
  ☆17Updated 3 years ago
• pointfree-wasm / pointfree-wasm.github.io
  Turn Haskell expressions into pointfree style in your browser with WASM
  ☆13Updated 11 months ago
• pauladam94 / curryst
  Typst Package to typeset inference rule
  ☆43Updated last week
• alexkeizer / QpfTypes
  A WIP definitional (co)datatype package for Lean4
  ☆45Updated last month
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆308Updated 11 months ago
• jtkristensen / Jeopardy
  The official interpreter for the Jeopardy language
  ☆16Updated 2 years ago
• olafjanssen / sitelen-sitelen-renderer
  JavaScript library to turn Toki Pona text into the Sitelen Sitelen or Sitelen Suwi non-linear writing style.
  ☆73Updated this week
• naproche / naproche
  Write formal proofs in natural language and LaTeX.
  ☆44Updated last week
• jtkristensen / BottomTsh
  A Dependently Timed Drum Machine Language
  ☆10Updated last year
• banacorn / agda-mode-vscode
  agda-mode on VS Code
  ☆181Updated last week
• jwshii / etna
  ☆11Updated 6 months ago
• CategoryTheoryArchive / archive
  A digital archive of category theory papers.
  ☆32Updated last month
• aerickt / steno-dictionaries
  My Plover dictionaries. Home of Lapwing theory and my Vietnamese steno system.
  ☆59Updated 2 weeks ago
• tomsmeding / pastebin-haskell
  Pastebin service in haskell
  ☆32Updated last year