Alternatives and similar repositories for plover_dutch:

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

• jackhumbert / zbalermorna
  lo vrici se pilno be fi la zbalermorna je lo ri taipfase
  ☆24Updated last year
• sammdot / alleycat
  Free computer-aided transcription system for stenographers
  ☆25Updated 2 years ago
• jqueiroz / lojban.io
  A free and opensource platform for studying the artificial language Lojban.
  ☆83Updated 3 months ago
• lynn / lidysisku
  Fast lojban dictionary https://foldr.moe/lidysisku/
  ☆13Updated last week
• kilipan / nasin-toki
  mi pana sona pi nasin toki mi lon lipu ni
  ☆159Updated 5 months ago
• nyusemantics / LambdaCalculatorPublic
  ☆16Updated 2 years ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆114Updated 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.
  ☆67Updated last year
• iblech / agdapad
  Agda as a collaborative multiplayer game
  ☆33Updated 4 months ago
• janSame / linja-pona
  Font for sitelen pona
  ☆136Updated 2 years ago
• SReichelt / slate
  The Slate Interactive Theorem Prover
  ☆23Updated 2 years ago
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆281Updated 2 months ago
• hhu-adam / Robo
  A game for learning lean 4 where a cute little Robo joins you on your exploration of the Mathiverse. The game is in German 🇩🇪
  ☆18Updated this week
• agda / cornelis
  agda-mode for neovim
  ☆142Updated this week
• m-fleury / isabelle-emacs
  Clone of isabelle, with LSP extensions in seperate branches
  ☆27Updated this week
• Vermoot / Pluvier
  French steno theory/dictionary for Plover
  ☆25Updated 3 months ago
• djvelleman / HTPIwL
  Book about using Lean with How To Prove It
  ☆17Updated last month
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆104Updated 8 months ago
• typedbyte / hagato
  Haskell Gamedev Toolkit, a library for developing games from scratch.
  ☆66Updated last year
• jonsterling / forest
  My mathematical Zettelkasten, created using forester.
  ☆79Updated this week
• Hypercubers / hypercubing.xyz
  Website for the Hypercubing community
  ☆16Updated this week
• ComputerAidedLL / click-and-collect
  A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml
  ☆21Updated 3 years ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆97Updated last week
• tonyday567 / checklist
  How I start Haskell.
  ☆100Updated 4 months ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆75Updated last year
• Id405 / sitelen-pona-ucsur-guide
  o sitelen e sitelen pona lon ilo mute a!
  ☆42Updated last year
• dec32 / ajemi
  An IME (input method) for Toki Pona.
  ☆37Updated 8 months ago
• jtkristensen / Jeopardy
  The official interpreter for the Jeopardy language
  ☆16Updated 2 years ago
• thehottgame / theHoTTGameGuide
  ☆24Updated 8 months ago