serkm

serkm's Stars

• aalhour/awesome-compilers

  :sunglasses: Curated list of awesome resources on Compilers, Interpreters and Runtimes

  8.8k29729644

• HigherOrderCO/Kind1

  A modern proof language

  Language:JavaScript3.5k74215141

• koka-lang/koka

  Koka language compiler and interpreter

  Language:Haskell3.2k61315161

• flix/flix

  The Flix Programming Language

  Language:Scala2.1k243.5k150

• mgaudet/CompilerJobs

  A listing of compiler, language and runtime teams for people looking for jobs in this area

  Language:HTML494265862

• effekt-lang/effekt

  A language with lexical effect handlers and lightweight effect polymorphism

  Language:Scala315924920

• polarity-lang/polarity

  A Language with Dependent Data and Codata Types

  Language:Rust472880