Similar repositories to brown-cs22/CS22-Lean-2023:

• capfredf/pkg-backward-comp-check github similar
• AlexKnauth/no-vert-bar-lang github similar
• vishesh/racketscript github similar
• jeapostrophe/live-free-or-die github similar
• rmculpepper/ppict github similar
• jackfirth/package-analysis github similar
• default-kramer/fission-flare github similar
• brown-cs22/CS22-Lean-2023 github similar
• zamora/baseball-cap github similar
• camoy/redex-parameter github similar
• bennn/syntax-parse-example github similar
• hecrj/iced github similar
• alexcrichton/cc-rs github similar
• danistefanovic/build-your-own-x github similar
• qdwang/eopl github similar
• leanprover-community/vscode-lean4 github similar
• jsmaniac/type-expander github similar
• wenkokke/chez-scheme-hs github similar
• exaloop/codon github similar
• timgrossmann/InstaPy github similar
• tuvtran/project-based-learning github similar
• camoy/contract-etc github similar
• takikawa/pprint.plt github similar
• joshpoll/pretty-egg github similar
• uw-unsat/leanette-popl22-artifact github similar
• stefania11/pippisynth github similar
• soegaard/srfi-array github similar
• rmculpepper/racket-scramble github similar
• gussmith23/monotonic-rule-interpreter github similar
• LLazarek/ruinit github similar
• rindPHI/islearn github similar
• dedbox/racket-template github similar
• wilbowma/scribble-coq github similar
• zamora/lightsaber github similar
• joehendrix/lean-sat-checker github similar
• bennn/scribble-abbrevs github similar
• Metaxal/quickscript github similar
• racket/simple-tree-text-markup github similar
• aowens-21/drracket-custom-keybindings github similar
• Bogdanp/racket-bench-ws-logging github similar