Similar repositories to wenkokke/lazuli:
wenkokke/lazuli
github
similar
wenkokke/starchild
github
similar
banacorn/agda-language-server
github
similar
smtcoq/smtcoq
github
similar
nomeata/ghc-proofs
github
similar
johnyf/tool_lists
github
similar
google-research/robustness_metrics
github
similar
HOL-Theorem-Prover/HOL
github
similar
achlipala/frap
github
similar
ghc-proposals/ghc-proposals
github
similar
cvc5/cvc5
github
similar
ocaml-multicore/ocaml-multicore
github
similar
CakeML/cakeml
github
similar
edwinb/Idris2-boot
github
similar
realworldocaml/book
github
similar
owlbarn/owl
github
similar
plfa/plfa.github.io
github
similar
pFarb/awesome-crypto-papers
github
similar
tomprimozic/type-systems
github
similar
onnx/tensorflow-onnx
github
similar
agda/agda
github
similar
magenta/ddsp
github
similar
FStarLang/FStar
github
similar
jaspervdj/hakyll
github
similar
explosion/thinc
github
similar
coq/coq
github
similar
microsoft/onnxruntime
github
similar
bmild/nerf
github
similar
returntocorp/semgrep
github
similar
sympy/sympy
github
similar
CompVis/stable-diffusion
github
similar
samuelcolvin/pydantic
github
similar
openai/gpt-3
github
similar
microsoft/nni
github
similar
lutzroeder/netron
github
similar
onnx/onnx
github
similar
openai/gpt-2
github
similar
google-research/google-research
github
similar
google/python-fire
github
similar
swc-project/swc
github
similar