Benki β†’ Bookmarks

β‡  previous page next page β‡’

A compiler back-end for lazy and strict functional languages with whole program optimization support.

A Scala library for partial evaluation. Can be used to implement embedded domain-specific languages or to compile high-level code into optimized low-level code.

Type-safe staged metaprogramming for Scala with quasiquotation and code pattern matching. syntax-case, basically.

β‡  previous page next page β‡’