Similar repositories to cwi-swat/naked-object-algebras:
cwi-swat/naked-object-algebras
github
similar
hy-zhang/ShyFramework
github
similar
cwi-swat/nomen
github
similar
cwi-swat/salix
github
similar
precog/quasar
github
similar
cwi-swat/ql-obj-alg
github
similar
cwi-swat/implicit-propagation
github
similar
ZeweiChu/SYBwithOA
github
similar
cwi-swat/rebel
github
similar
tvdstorm/oalgcomp
github
similar
seba--/sugarj
github
similar
hkuplg/fcore
github
similar
cwi-swat/recaf
github
similar
enso-lang/enso
github
similar
TiarkRompf/virtualization-lms-core
github
similar
graalvm/sulong
github
similar
lasp-lang/lasp
github
similar
andrejbauer/plzoo
github
similar
LuxLang/lux
github
similar
dotnet/llilc
github
similar
functionaljava/functionaljava
github
similar
dafny-lang/dafny
github
similar
sdiehl/wiwinwlh
github
similar
milessabin/shapeless
github
similar
Frege/frege
github
similar
jsonresume/resume-cli
github
similar
scala-native/scala-native
github
similar
scalaz/scalaz
github
similar
vavr-io/vavr
github
similar
raphw/byte-buddy
github
similar
hackmdio/codimd
github
similar
Z3Prover/z3
github
similar
microsoft/language-server-protocol
github
similar
hacksalot/HackMyResume
github
similar
hmemcpy/milewski-ctfp-pdf
github
similar
mono/mono
github
similar
akka/akka
github
similar
dotnet/coreclr
github
similar
openjdk/jdk
github
similar
asdf-vm/asdf
github
similar