Similar repositories to uqbar-project/wollok-language:

• uqbar-project/wollok-language github similar
• danistefanovic/build-your-own-x github similar
• uqbar-project/wollok-mobile github similar
• uqbar-project/wollok-ts github similar
• steinwaywhw/ats-parcc github similar
• 10Pines/pdepreludat github similar
• arthuraa/memory-safe-language github similar
• dymaxionlabs/massive-change-detection github similar
• uqbar-project/wollok github similar
• kcrary/cmtool github similar
• eirproject/whirl github similar
• dbp/howtoproveacompiler github similar
• lambdaclass/holiday_pinger github similar
• subsetpark/pantagruel github similar
• SWI-Prolog/swipl-wasm github similar
• input-output-hk/ouroboros-high-assurance github similar
• CertiCoq/certicoq github similar
• mumuki/cspec github similar
• mumuki/mulang github similar
• disco-lang/disco github similar
• ezyang/logitext github similar
• jeanqasaur/women-in-programming-languages-research github similar
• klarna/circuit_breaker github similar
• astampoulis/makam github similar
• clarus/coq-chick-blog github similar
• novaframework/nova github similar
• CIFASIS/QuickFuzz github similar
• piderman314/bardecoder github similar
• mumuki/mumuki-laboratory github similar
• RedPRL/sml-redprl github similar
• callum-oakley/gotta-go-fast github similar
• sjsyrek/haskell-study-startup github similar
• ligurio/practical-fm github similar
• Logflare/logflare github similar
• ocamllabs/ocaml-effects-tutorial github similar
• kvakvs/ErlangRT github similar
• kitten/wonka github similar
• uwdb/Cosette github similar
• aviaviavi/legion github similar
• artagnon/rhine-ml github similar