Beast code in Giters

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 using TFP.

Language:PythonBSD-3-Clause2400

anne-key

Firmware for Anne Pro Keyboard written in Rust

Language:RustApache-2.056800

reflex-vty

Build terminal applications using functional reactive programming (FRP) with Reflex FRP.

Language:HaskellBSD-3-Clause14000

clash-spaceinvaders

Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH

Language:TclMIT4600

openapi

SWI-Prolog OpenAPI (Swagger) support

Language:Prolog900

Examples

A collection of TLA⁺ specifications of varying complexities

Language:TLANOASSERTION126100

hs-mesos

Mesos bindings for Haskell

Language:HaskellMIT3400

MonaIDA

IDA Haskell bindings

Language:Haskell300