Similar repositories to xnning/type-driven-develop:

• xnning/type-driven-develop github similar
• danistefanovic/build-your-own-x github similar
• edx/edx-platform github similar
• gibiansky/IHaskell github similar
• motemen/gore github similar
• ReactTraining/react-router github similar
• postalhq/postal github similar
• tuvtran/project-based-learning github similar
• k6io/k6 github similar
• thuytien140894/GTLC github similar
• bixuanzju/papers-phd github similar
• scmu/mrm github similar
• termoshtt/procedurals github similar
• zilberstein/system-fc-coq github similar
• nikomatsakis/nll-souffle github similar
• mit-plv/reification-by-parametricity github similar
• quephird/purescript-by-example github similar
• xnning/Consistent-Subtyping-for-All github similar
• google/iree-samples github similar
• robrix/abstract-interpretation github similar
• jship/tao github similar
• idris-hackers/idris-algebra github similar
• JuliaLabs/MLIR.jl github similar
• jeapostrophe/adqc github similar
• sweirich/hs-inferno github similar
• agda/agda-spec github similar
• mraleph/moe-js github similar
• philnguyen/z3-rkt github similar
• huonw/ieee754 github similar
• Gabriel439/Haskell-Bears-Library github similar
• math-comp/algebra-tactics github similar
• coq-community/dblib github similar
• coq-community/aac-tactics github similar
• gallais/aGdaREP github similar
• intel/mlir-extensions github similar
• nobrakal/asak github similar
• RedPRL/sml-typed-abts github similar
• bmsherman/topology github similar
• microsoft/AliveInLean github similar
• google/mlir-hs github similar