Similar repositories to utdb/judged:

• utdb/judged github similar
• tootsuite/mastodon github similar
• postalhq/postal github similar
• Eloston/ungoogled-chromium github similar
• danistefanovic/build-your-own-x github similar
• Eugeny/terminus github similar
• hecrj/iced github similar
• aquynh/capstone github similar
• hyperfiddle/hyperfiddle github similar
• juxt/crux github similar
• oragono/oragono github similar
• gibiansky/IHaskell github similar
• epost/purescript-datalog-parsers github similar
• shaunlebron/parinfer github similar
• duzhen/Datalog github similar
• bgavran/Idris_Category_Theory github similar
• andorp/ArchaIdr github similar
• leuschel/lix github similar
• samer--/pljulia github similar
• porpoiseless/ithkuil github similar
• redfish64/NomicCoin201710 github similar
• orsinif/kProbLogDSL github similar
• gallais/great-library-of-idris github similar
• eazar001/bfg-prolog github similar
• advancedresearch/asi_core0 github similar
• massimo-nocentini/microkanrenpy github similar
• simongregersen/DepSec github similar
• eraserhd/Idris-book github similar
• reasoned-ai/norm github similar
• runKleisli/verified-integer-gaussian-elimination github similar
• jDomantas/idris-wasm github similar
• drudru/qhasm github similar
• gilbo/baselang github similar
• hydroid7/Openscad.jl github similar
• guitarvydas/wam github similar
• davidlazar/rig github similar
• gallais/idris-tmustache github similar
• Anniepoo/swiplchrtut github similar
• AKSW/Mandolin github similar
• border-patrol/lightclick github similar