wxzh

wxzh's Stars

• typelevel/fs2

  Compositional, streaming I/O library for Scala

  Language:Scala2.4k87755605

• scalameta/scalameta

  Library to read, analyze, transform and generate Scala programs

  Language:Scala1.1k401.2k225

• ilya-klyuchnikov/tapl-scala

  Code from the book "Types and Programming Languages" in Scala

  Language:Scala1778722

• kailuowang/mainecoon

  Transform and compose tagless final encoded algebras in scala

  Language:Scala9513108

• strymonas/staged-streams.scala

  Language:Scala57768

• hkuplg/fcore

  Research middleware compiler from System F-based languages to Java with the Imperative Functional Object encoding

  Language:Haskell442316012

• LukaJCB/tagless-webgl

  Language:Scala384110

• DavidDudson/Elysium

  Elysium - any place or state of perfect happiness; paradise.

  Language:Scala21468

• markus-git/hardware-edsl

  VHDL flavour of imperative-edsl

  Language:Haskell5421