Similar repositories to andriusvelykis/ml-dev:

• andriusvelykis/ml-dev github similar
• tootsuite/mastodon github similar
• danistefanovic/build-your-own-x github similar
• avigad/isabelle github similar
• ct-gradual-typing/Grady github similar
• andriusvelykis/isabelle-eclipse github similar
• gebner/trepplein github similar
• edwinb/Ivor github similar
• RobertHarper/TILT-Compiler github similar
• mangpo/chlorophyll github similar
• kcsongor/arm-doom github similar
• mabuchilab/QNET github similar
• ekmett/cadenza github similar
• SMLFamily/The-Mechanization-of-Standard-ML github similar
• kvakvs/gluonvm1 github similar
• seL4/isabelle github similar
• league/qcheck github similar
• jyp/nano-Agda github similar
• sweirich/lambda-n-ways github similar
• hsivonen/simd github similar
• standardml/twelf github similar
• brendanzab/rust-nbe-for-mltt github similar
• gapt/gapt github similar
• mvitousek/reticulated github similar
• ksen007/janala2 github similar
• dvanhorn/redex-aam-tutorial github similar
• lexi-lambda/higher-rank github similar
• jwiegley/coq-pipes github similar
• UBMLtonGroup/RTMLton github similar
• ibluesun/SymbolicAlgebra github similar
• ilya-klyuchnikov/lambdapi github similar
• pigworker/MetaprogAgda github similar
• ericnormand/hindley-milner github similar
• melsman/mlkit github similar
• SMLFamily/The-Definition-of-Standard-ML-Revised github similar
• sashs/filebytes github similar
• Storyyeller/cubiml-demo github similar
• CorticalComputer/Book_NeuroevolutionThroughErlang github similar
• sarl/sarl github similar
• murisi/L2 github similar