Similar repositories to yatima-inc/yatima-lang-proto:

• yatima-inc/yatima-haskell-prototype github similar
• yatima-inc/yatima-lang-proto github similar
• yatima-inc/introit github similar
• yatima-inc/radiya.rs github similar
• valmirjunior0088/curios github similar
• yatima-inc/yatima-lang github similar
• yusdacra/nix-cargo-integration github similar
• idris-hackers/IdrisScript github similar
• mlatu-lang/mlatu github similar
• githwxi/ATS-Xanadu github similar
• runtimeverification/haskell-backend github similar
• notabugio-archived/notabug-ui github similar
• ollef/sixty github similar
• jameshaydon/lawvere github similar
• kolloch/crate2nix github similar
• anowell/are-we-learning-yet github similar
• sanctuary-js/sanctuary-def github similar
• yatima-inc/yatima-lang-alpha github similar
• andrewchambers/hermes github similar
• runtimeverification/k github similar
• cedille/cedille github similar
• dtolnay/indoc github similar
• AndrasKovacs/elaboration-zoo github similar
• AndrasKovacs/smalltt github similar
• mirth-lang/mirth github similar
• idris-hackers/software-foundations github similar
• yatima-inc/yatima github similar
• granule-project/granule github similar
• stevepryde/thirtyfour github similar
• ollef/sixten github similar
• sit-fyi/sit github similar
• pikelet-lang/pikelet github similar
• rust-gamedev/arewegameyet github similar
• ivanceras/sauron-native github similar
• greghendershott/racket-mode github similar
• swarm-game/swarm github similar
• egraphs-good/egg github similar
• urweb/urweb github similar
• fractalide/fractalide github similar
• UniMath/UniMath github similar