Stars
Fast, Declarative, Reproducible, and Composable Developer Environments
Debug Adapter Protocol (DAP) implementation for SWI-Prolog
Simple setup for deploying Haskell to Amazon Lambda
DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc
INTERCEPT GHCJS CCALL DISPATCH TO EMSCRIPTEN
stan2tfp is a lightweight interface to the TensorFlow Probability backend of the Stan compiler. It provides the necessary objects and functions to compile a Stan program and fit the model to data u…
Build terminal applications using functional reactive programming (FRP) with Reflex FRP.
Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH
A collection of TLA⁺ specifications of varying complexities