Similar repositories to serras/4languages:

• serras/4languages github similar
• gibiansky/IHaskell github similar
• pixijs/pixi.js github similar
• tlcsrc/tlcsrc.github.io github similar
• jonsterling/twelf-itt github similar
• dpthayer/fsharpx github similar
• dpthayer/4languages github similar
• jonsterling/agda-nominal-sets github similar
• tonymorris/fp-for-business github similar
• newca12/haskell-atp github similar
• liamoc/tea-hs github similar
• frankpfenning/C0-Tutorial github similar
• relrod/tryidris-android github similar
• HoTT/Archive github similar
• paf31/lambdaconf github similar
• paf31/Purity github similar
• acowley/LinearLogic github similar
• zilberstein/system-fc-coq github similar
• ahmadsalim/well-typed-agda-interpreter github similar
• RobertHarper/hott-notes github similar
• frabbit/hots github similar
• idris-hackers/idris-bot github similar
• gergoerdi/stlc-agda github similar
• effectfully/STLC github similar
• idris-hackers/idrispkgs github similar
• jff/TeLLer github similar
• jmchapman/TT-in-TT github similar
• domdere/fp-in-idris github similar
• ekmett/homotopy github similar
• jonsterling/hs-abt github similar
• adinapoli/mandrill github similar
• iand675/hs-opentelemetry github similar
• spacekitteh/haskell-clifford github similar
• ekmett/indexed github similar
• dpiponi/formal-weyl github similar
• tonymorris/parametricity github similar
• ermine-language/ermine-legacy github similar
• favonia/homotopy github similar
• CategoricalData/HoTT-categories github similar
• Javran/Thinking-dumps github similar