Similar repositories to proglang/ldgv:

• proglang/ldgv github similar
• inanna-malick/hgit github similar
• hecrj/iced github similar
• gibiansky/IHaskell github similar
• roc-lang/roc github similar
• ollef/incrementalism github similar
• mstksg/wavelets github similar
• plt-hokusai/Rio github similar
• rampion/concrete-kinds github similar
• Twey/agda-imp github similar
• plt-hokusai/ahc github similar
• sarsko/CreuSAT github similar
• Skyb0rg007/Optix github similar
• shayan-najd/HsAST github similar
• nokijp/pietc github similar
• masaeedu/co-optics github similar
• john-ml/lambda-calculus github similar
• xnning/Row-and-Bounded-via-Disjoint github similar
• LightAndLight/idris-lambda-reflection github similar
• Technius/simpl github similar
• luke-clifton/generic-monoid github similar
• LightAndLight/bide github similar
• evertedsphere/how-to-implement-dependent-type-theory github similar
• srdqty/talc-3.0 github similar
• ayberkt/simplc github similar
• ori-sky/hs-etch github similar
• effectfully/proto-tt github similar
• asajeffrey/finite-dtypes github similar
• adjoint-io/shamir github similar
• LightAndLight/lambdapi github similar
• TobiReinhart/sparse-tensor github similar
• JKTKops/ProtoHaskell github similar
• dpiponi/infinite-quine github similar
• mrkgnao/afterburner github similar
• aatxe/diet-coke github similar
• ollef/dependent-hashmap github similar
• thoughtpolice/asc github similar
• Stiivi/StructuredQuery github similar
• GaloisInc/cryptol-verifier github similar
• robinvd/rlang github similar