Stars
REScala - distributed and reactive programming embedded in OO and FP programs.
Porting of software foundations book to Agda
Scala library for managing immutable application model
C library implementing the ridiculously fast CLHash hashing function
Automatically generated diagrams and animations for Scala data structures
A set of useful Emacs modes and functions for users of Nix and Nix OS.
The Language-Integrated Quantum Operations (LIQUi|>) simulator
A sample Scala.js game implementation. Uses scalatags, utest, and scalajs-jQuery.
Rapid Form Development library. Use your favourite JS frontend & Scala backend frameworks.
A bare-bones calculus-of-constructions
ScalaTags is a small XML/HTML construction library for Scala.
Small functional language that compiles to JavaScript.
Generating class definitions from data declarations
A Framework for Runtime Code Generation and Compiled DSLs
js.scala: JavaScript as an embedded DSL in Scala
A library for developing languages with scoped binders (like forall or lambda).
An example SBT project which uses macros (Scala 2.11, SBT 0.13)