Similar repositories to SReichelt/slate:

• SReichelt/slate github similar
• gibiansky/IHaskell github similar
• Naproche-SAD/Naproche-SAD github similar
• motion-canvas/motion-canvas github similar
• danistefanovic/build-your-own-x github similar
• Eloston/ungoogled-chromium github similar
• GamestonkTerminal/GamestonkTerminal github similar
• tootsuite/mastodon github similar
• naproche/web-naproche github similar
• felixwellen/HoTT-Vorlesung github similar
• strake/comprehensions-ghc github similar
• anfelor/coc-lean github similar
• asr/apia github similar
• mcejp/lux github similar
• kawabata/iwds github similar
• mnieper/gravity github similar
• jonsterling/constructive-sheaf-semantics github similar
• ocaml-flambda/ocaml-jst github similar
• formalabstracts/CNL-CIC github similar
• naproche/naproche github similar
• sourrust/hyakko github similar
• GaloisInc/lean-haskell-bindings github similar
• guillaumebrunerie/initiality github similar
• papatangosierra/serifu github similar
• gallais/agda-presburger github similar
• bodoni/opentype github similar
• cicada-lang/cicada github similar
• anttiviljami/erc20-toilet-paper-coin github similar
• samuela/bidirectional-typing github similar
• bcrowell/general_relativity github similar
• isabelle-prover/mirror-isabelle github similar
• ziglang/docker-zig github similar
• jesse-michael-han/lean-gptf github similar
• pjones/plasma-manager github similar
• chiron-fonts/chiron-sung-hk github similar
• eprover/PyRes github similar
• ramonfmir/lean-scheme github similar
• gebner/hott3 github similar
• b-mehta/topos github similar
• garrigue/certint github similar