Similar repositories to jsiek/arete:

• danistefanovic/build-your-own-x github similar
• jsiek/arete github similar
• tuvtran/project-based-learning github similar
• elpinal/duploids github similar
• tootsuite/mastodon github similar
• konn/iapplicative-builder github similar
• oragono/oragono github similar
• rafaqz/GeoData.jl github similar
• oscarlab/graphene github similar
• AkihiroSuda/lima github similar
• hecrj/iced github similar
• dannypsnl/inductive github similar
• wenkokke/polygen github similar
• raptazure/kweh github similar
• Jellonator/Emailang github similar
• Twey/agda-imp github similar
• shaunlebron/parinfer github similar
• brouhaha/mmon github similar
• inanna-malick/hgit github similar
• fmlab-iis/coq-nbits github similar
• losfair/violet-cosim github similar
• carlosedp/scalautils github similar
• Syntacticlosure/chez-runner github similar
• IanLuites/buckaroo github similar
• julianhyde/morel github similar
• prathyvsh/history-of-lambda-calculus github similar
• scmlab/I-Love-Lean github similar
• gliboc/cast-machine github similar
• Yoxem/Clochur github similar
• spall/rattle-model github similar
• adamsmd/paper-towards-the-essence-of-hygiene-expander github similar
• elpinal/subtyping-agda github similar
• val-lang/Lotsawa github similar
• brouhaha/umonz github similar
• false-schemers/siof github similar
• 97jaz/racket-bzip2 github similar
• florence/circuitous github similar
• knisht/arend-ct github similar
• jonsterling/guarded-theories github similar
• JacquesCarette/agda-algebras github similar