Similar repositories to ps-mr/LinqOnSteroids:
ps-mr/LinqOnSteroids
github
similar
dwijnand/sbt-dynver
github
similar
danistefanovic/build-your-own-x
github
similar
stevan/PhP
github
similar
msteindorfer/DSCG
github
similar
hsgg/quark
github
similar
khayyamsaleem/gradual-typing
github
similar
dckc/py2scala
github
similar
wangpengmit/timl
github
similar
mainland/ghc-simd-tests
github
similar
alhassy/multistage-programming-taha
github
similar
kcsmnt0/numbers
github
similar
plaidfinch/Presburger
github
similar
Fordi/how-to-c
github
similar
stanford-ppl/OptiQL
github
similar
bedrocksystems/coq-lens
github
similar
ptarau/binprolog
github
similar
CUFP/cufp.org
github
similar
a3f/libvas
github
similar
mndrix/mavis
github
similar
Saizan/parametric-demo
github
similar
bryangarza/qwu
github
similar
mndrix/prolog_library_ideas
github
similar
jthlim/JavelinPattern
github
similar
cvogt/slick-macros-old
github
similar
sstucki/f-omega-int-agda
github
similar
snape/Loopless-Functional-Algorithms
github
similar
taktoa/wasm-agda
github
similar
avsm/shonan-143
github
similar
Diderot-Language/diderot
github
similar
julianmendez/cel
github
similar
amosr/folderol
github
similar
SuperpowersCorp/refactorio
github
similar
taktoa/eqsat
github
similar
hablapps/bypassingfreemonads
github
similar
boyland/twelf-library
github
similar
namin/lms-sandbox
github
similar
UCSD-PL/nano-smt
github
similar
conal/essence-of-ad
github
similar
jMotif/GI
github
similar