Benki β†’ Bookmarks

β‡  previous page next page β‡’

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.

A functional programming language based on partial evaluation and explicit inlining opt-out.

Sets up Docker and a Kubernetes cluster on your PC. Works cross-platform and so can be used to supplant the (now monetized) Docker Desktop application on non-GNU/Linux systems.

There is a signal in the data that points towards environmental toxins as a cause for the Western-world-wide obesity epidemic.

A key derivation function based on scrypt with additional features, some optional, that make it even more expensive to compute.

Now used by Debian by default.

A Haskell-to-WebAssembly compiler. Presumably faster and produces smaller bundles than GHCJS, but not yet as compatible.

β‡  previous page next page β‡’