Similar repositories to melsman/sml-llvm:

• melsman/sml-llvm github similar
• danistefanovic/build-your-own-x github similar
• melsman/sigdoc github similar
• smlnj/smlnj github similar
• oven-sh/bun github similar
• expnkx/fast_io github similar
• ocaml-multicore/awesome-multicore-ocaml github similar
• azdavis/sml-basis github similar
• diku-dk/sml-setmap github similar
• camlp5/pa_ppx github similar
• andreasabel/lambda-definability github similar
• diku-dk/sml-random github similar
• RedPRL/sml-dependent-lcf github similar
• diku-dk/sml-regexp github similar
• barras/abstract-machines github similar
• pamellies/models-of-programming-languages github similar
• shwestrick/parse-sml github similar
• melsman/kitlib github similar
• ProjectSavanna/autoformat github similar
• melsman/draw2d github similar
• JohnReppy/sml-compiler-utils github similar
• pigworker/BiF github similar
• andrejbauer/dependent-type-theory-syntax github similar
• nojb/mlpolyr github similar
• stonebuddha/tree-sitter-sml github similar
• melsman/MoA github similar
• tkob/proglr github similar
• brandonspark/mulligan github similar
• nachivpn/gluetn github similar
• anjapetkovic/type-theory-slovene-dictionary github similar
• Trebor-Huang/agda-linear github similar
• markusdemedeiros/ATheoryOfPrograms github similar
• maxsnew/grammars-and-semantic-actions github similar
• melsman/unicode github similar
• RedPRL/sml-final-pretty-printer github similar
• stonebuddha/sml-llvm github similar
• clayrat/coherence-spaces github similar
• kcrary/cmtool github similar
• andreasabel/proposal-agda-tutorial github similar
• martinescardo/EffectfulForcing github similar