Similar repositories to Glavo/Sotlin:

• Glavo/Sotlin github similar
• hecrj/iced github similar
• thautwarm/EBNFParser github similar
• thautwarm/flowpython github similar
• JuliaCN/Py2Jl.jl github similar
• JetBrains/arend-lib github similar
• thautwarm/restrain-jit github similar
• UlfNorell/agda-prelude github similar
• Agda-zh/PLFA-zh github similar
• vdrhtc/InLaTeXbot github similar
• halirutan/Wolfram-Language-IntelliJ-Plugin-Archive github similar
• covscript/covscript github similar
• UniMath/SymmetryBook github similar
• cedille/cedille github similar
• joaomilho/awesome-idris github similar
• typedefs/typedefs github similar
• HoTT/HoTT-Agda github similar
• polyml/polyml github similar
• AndrasKovacs/elaboration-zoo github similar
• mortberg/cubicaltt github similar
• vczh/tinymoe github similar
• lamdu/lamdu github similar
• tweag/asterius github similar
• koka-lang/koka github similar
• FStarLang/FStar github similar
• jaspervdj/hakyll github similar
• krispo/awesome-haskell github similar
• pest-parser/pest github similar
• idris-lang/Idris-dev github similar
• PistonDevelopers/piston github similar
• cisco/ChezScheme github similar
• rswier/c4 github similar
• Geal/nom github similar
• github/semantic github similar
• mamoe/mirai github similar
• mame/quine-relay github similar
• antlr/antlr4 github similar
• tokio-rs/tokio github similar
• ziglang/zig github similar
• jgm/pandoc github similar