Similar repositories to asdf-community/asdf-chezscheme:
asdf-community/asdf-chezscheme
github
similar
idris-lang/idris-tutorial
github
similar
coq/platform
github
similar
RedPRL/cooltt
github
similar
akabe/ocaml-jupyter
github
similar
rust-lang/blog.rust-lang.org
github
similar
ocamllabs/vscode-ocaml-platform
github
similar
JetBrains/resharper-fsharp
github
similar
jrh13/hol-light
github
similar
rust-lang/rust-forge
github
similar
zio/zio-prelude
github
similar
741g/android-emulator-m1-preview
github
similar
polyml/polyml
github
similar
stephan-tolksdorf/fparsec
github
similar
haskell/vscode-haskell
github
similar
ocaml-ppx/ocamlformat
github
similar
ocaml/ocaml-lsp
github
similar
haf/expecto
github
similar
portacle/portacle
github
similar
scala/scala-parser-combinators
github
similar
JPCERTCC/EmoCheck
github
similar
ocaml-community/utop
github
similar
ionide/ionide-vscode-fsharp
github
similar
MLton/mlton
github
similar
ocaml/opam
github
similar
ocaml/dune
github
similar
rikvdkleij/intellij-haskell
github
similar
SuaveIO/suave
github
similar
rust-lang/async-book
github
similar
bash-lsp/bash-language-server
github
similar
flycheck/flycheck
github
similar
flix/flix
github
similar
FStarLang/FStar
github
similar
slime/slime
github
similar
xd009642/tarpaulin
github
similar
jozefg/learn-tt
github
similar
leanprover/lean4
github
similar
com-lihaoyi/mill
github
similar
pulumi/examples
github
similar
nodesecurity/eslint-plugin-security
github
similar