Similar repositories to quinn-dougherty/ladr:

• quinn-dougherty/ladr github similar
• colemickens/nixpkgs-wayland github similar
• slightknack/treegrep github similar
• siraben/nix-remarkable github similar
• Zac-HD/hypothesmith github similar
• thehottgame/TheHoTTGame github similar
• plausible/plausible-tracker github similar
• apache/incubator-annotator github similar
• Eeems-Org/oxide github similar
• siraben/zkeme80 github similar
• svanderburg/node2nix github similar
• AndrasKovacs/elaboration-zoo github similar
• toltec-dev/toltec github similar
• conal/concat github similar
• y-crdt/y-crdt github similar
• jscoq/jscoq github similar
• GaloisInc/crucible github similar
• canselcik/libremarkable github similar
• rust-lang/datafrog github similar
• swarm-game/swarm github similar
• ipld/specs github similar
• DavHau/mach-nix github similar
• egraphs-good/egg github similar
• brendanzab/codespan github similar
• MaxLeiter/Drift github similar
• aphyr/tesser github similar
• brownplt/pyret-lang github similar
• zee-editor/zee github similar
• JuliaSymbolics/Symbolics.jl github similar
• ndmitchell/ghcid github similar
• jsverify/jsverify github similar
• jozefg/learn-tt github similar
• apex/gh-polls github similar
• leanprover/lean4 github similar
• lamdu/lamdu github similar
• LukeSmithxyz/based.cooking github similar
• xtdb/xtdb github similar
• haskell/haskell-language-server github similar
• koka-lang/koka github similar
• Engelberg/instaparse github similar