Alternatives and similar repositories for plover_dutch

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

• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆294Updated 7 months ago
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆382Updated this week
• didoesdigital / typey-type
  Typey Type for Stenographers is a free typing app designed specifically to help steno students practise and rapidly master stenography.
  ☆99Updated this week
• sammdot / alleycat
  Free computer-aided transcription system for stenographers
  ☆26Updated 2 years ago
• SReichelt / slate
  The Slate Interactive Theorem Prover
  ☆23Updated 2 years ago
• iblech / agdapad
  Agda as a collaborative multiplayer game
  ☆37Updated 9 months ago
• digama0 / tpil25
  Course materials for Chalmers TPIL25 class
  ☆14Updated 5 months ago
• mattearnshaw / lawvere
  The collected works of F. W. Lawvere
  ☆359Updated 10 months ago
• JoshuaGrams / steno-jig
  Browser-based Typing Drill Widget
  ☆74Updated last year
• jthlim / javelin-steno
  Embedded Steno Engine
  ☆92Updated last week
• jackhumbert / zbalermorna
  lo vrici se pilno be fi la zbalermorna je lo ri taipfase
  ☆25Updated last year
• ad-si / Brillo
  Painless 2D vector graphics, animations, and simulations powered by GLFW (Fork of gloss)
  ☆39Updated last month
• jwshii / etna
  ☆11Updated 2 months ago
• didoesdigital / steno-dictionaries
  Di's Plover-theory stenography dictionaries used by Typey Type for Stenographers.
  ☆90Updated 2 weeks ago
• fourshade / spectra_lexer
  Stroke and rule analyzer for stenography
  ☆36Updated 2 years ago
• tonyday567 / checklist
  How I start Haskell.
  ☆100Updated last week
• bradrn / brassica
  A featureful sound change applier for language construction
  ☆36Updated 5 months ago
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆265Updated last week
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆114Updated last year
• mstksg / advent-of-code
  🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo
  ☆40Updated 5 months ago
• UniMath / agda-unimath
  The agda-unimath library
  ☆259Updated 3 weeks ago
• mechanize-systems / bqnpad
  Online REPL for BQN
  ☆34Updated last year
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆143Updated 3 months ago
• bradrn / wlhs
  Haskell bindings to wlroots (and libwayland)
  ☆67Updated last year
• nomeata / incredible
  The Incredible Proof Machine
  ☆378Updated 4 months ago
• aerickt / lapwing-for-beginners
  Online book to learn steno with Lapwing theory.
  ☆35Updated last month
• jqueiroz / lojban.io
  A free and opensource platform for studying the artificial language Lojban.
  ☆88Updated last week
• martinescardo / TypeTopology
  Logical manifestations of topological concepts, and other things, via the univalent point of view.
  ☆261Updated this week
• glguy / advent
  Advent of Code complete solution archive and common library
  ☆46Updated 6 months ago
• codyroux / name-the-biggest-number
  ☆64Updated 2 years ago