Similar repositories to Zdancewic/owl:

• Zdancewic/owl github similar
• tuvtran/project-based-learning github similar
• danistefanovic/build-your-own-x github similar
• k6io/k6 github similar
• expnkx/fast_io github similar
• Eugeny/terminus github similar
• gibiansky/IHaskell github similar
• krassowski/jupyterlab-lsp github similar
• motemen/gore github similar
• ostera/serde.ml github similar
• brendanzab/language-garden github similar
• folke/lazy.nvim github similar
• lencx/ChatGPT github similar
• intel/x86-simd-sort github similar
• maximecb/uvm github similar
• bollmann/th-samples github similar
• shaunlebron/parinfer github similar
• ocaml-flambda/ocaml github similar
• milessabin/tls-philly-rbtree-2016 github similar
• ShinKage/nvim-idris2 github similar
• LexiFi/menhir github similar
• leanprover-community/leancrawler github similar
• zehnpaard/kontlang github similar
• burtonsamograd/med github similar
• pepeiborra/schemas github similar
• ocamllabs/focs-notebooks github similar
• bmeurer/ocaml-experimental github similar
• ocsigen/ts2ocaml-example github similar
• rvantonder/lsif-ocaml github similar
• laser/cis-194-winter-2016 github similar
• micro-policies/micro-policies-coq github similar
• msp-strath/ZEUG github similar
• sweirich/graded-haskell github similar
• obazl/rules_ocaml github similar
• dafny-lang/libraries github similar
• pepeiborra/gc-benchmarks github similar
• lambdabricks/bricks-front-react github similar
• robsimmons/functioning github similar
• thautwarm/DIO.jl github similar
• dhil/ocaml-multicont github similar