Similar repositories to Vizaxo/dtlang:

• Vizaxo/dtlang github similar
• lunaris/bazel-idl github similar
• phadej/lens-laws github similar
• phadej/preload-trick github similar
• xnning/dependent-types-in-haskell github similar
• csabahruska/jhc-grin github similar
• i-am-tom/dagless github similar
• i-am-tom/oops github similar
• kcsongor/typelevel-prelude github similar
• aspiwack/peppermint-prover github similar
• vabal/vabal github similar
• mstksg/mutable github similar
• sergv/emacs-module github similar
• maybevoid/casimir github similar
• turingjump/bookkeeper github similar
• i-am-tom/purescript-panda github similar
• polysemy-research/polysemy-zoo github similar
• isovector/type-errors github similar
• lexi-lambda/higher-rank github similar
• ilya-klyuchnikov/lambdapi github similar
• ChrisPenner/lens-regex-pcre github similar
• ekmett/hask github similar
• i-am-tom/higgledy github similar
• nomeata/inspection-testing github similar
• sdiehl/tinyjit github similar
• i-am-tom/holmes github similar
• RedPRL/redtt github similar
• ekmett/quine github similar
• jameshaydon/lawvere github similar
• evertedsphere/silica github similar
• conal/concat github similar
• antalsz/hs-to-coq github similar
• recursion-schemes/recursion-schemes github similar
• cedille/cedille github similar
• litxio/ptghci github similar
• sdiehl/wasm github similar
• mikeizbicki/subhask github similar
• owickstrom/komposition github similar
• AndrasKovacs/smalltt github similar
• alexwl/haskell-code-explorer github similar