Alternatives and similar repositories for plover_dutch

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

• olafjanssen / sitelen-sitelen-renderer
  JavaScript library to turn Toki Pona text into the Sitelen Sitelen or Sitelen Suwi non-linear writing style.
  ☆71Updated last year
• schar / TDParse
  Type-driven syntactic and semantic effectful parsing for NL
  ☆13Updated last week
• typedbyte / hagato
  Haskell Gamedev Toolkit, a library for developing games from scratch.
  ☆67Updated last year
• SReichelt / slate
  The Slate Interactive Theorem Prover
  ☆23Updated 2 years ago
• ad-si / Brillo
  Painless 2D vector graphics, animations, and simulations powered by GLFW (Fork of gloss)
  ☆38Updated last week
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆128Updated last year
• iblech / agdapad
  Agda as a collaborative multiplayer game
  ☆36Updated 7 months ago
• RockBrentwood / Combo
  A combinator reduction engine that accepts syntax for lambda expressions and is optimal. Rebase pending. That will affect forks. Downstre…
  ☆10Updated last year
• catseye / Mascarpone
  MIRROR of https://codeberg.org/catseye/Mascarpone : You are lost in a twisty maze of meta-circular interpreters, all alike.
  ☆21Updated last year
• bradrn / brassica
  A featureful sound change applier for language construction
  ☆34Updated 4 months ago
• samcoy3 / advent-of-code-template
  A Haskell project template for Advent of Code solutions.
  ☆32Updated last year
• alhassy / gentle-intro-to-reflection
  A slow-paced introduction to reflection in Agda. ---Tactics!
  ☆101Updated 3 years ago
• pa-ba / Rattus
  A modal FRP language embedded in Haskell.
  ☆14Updated last year
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆84Updated 3 months ago
• Rewbert / quickcheck
  Automatic testing of Haskell programs.
  ☆13Updated 2 weeks ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆140Updated 2 months ago
• sumpygump / sitelen-sitelen
  SVG glyphs for sitelen sitelen
  ☆25Updated last year
• KislyjKisel / Raylib.lean
  Raylib bindings for Lean4
  ☆26Updated last month
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆291Updated 5 months ago
• tomsmeding / pastebin-haskell
  Pastebin service in haskell
  ☆31Updated 6 months ago
• jqueiroz / lojban.io
  A free and opensource platform for studying the artificial language Lojban.
  ☆88Updated last week
• samanthamccabe / didelphis-sca
  Didelphis Sound Change Applier
  ☆19Updated 4 years ago
• RubenVerg / TinyAPL
  TinyAPL, a tiny APL dialect and interpreter in Haskell
  ☆59Updated this week
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆372Updated this week
• jonsterling / forest
  My mathematical Zettelkasten, created using forester. Moved to sourcehut.
  ☆86Updated last week
• The-Clowder-Project / the-clowder-project
  This is the repository for the Clowder project, an online collaborative resource for category theory and mathematics in general
  ☆30Updated this week
• byorgey / comprog-hs
  Competitive programming utilities in Haskell
  ☆30Updated 5 months ago
• codyroux / name-the-biggest-number
  ☆64Updated 2 years ago
• jespercockx / agda-core
  A work-in-progress core language for Agda, in Agda
  ☆52Updated last month
• mstksg / advent-of-code
  🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo
  ☆40Updated 4 months ago