Beast code in Giters

Felix Klein's repositories

Arrowized Functional Reactive Program Visualization

Language:HaskellBSD-3-Clause1 20

Basic example of simulating Clash / FPGA gateware inside a VCV Rack plugin.

Language:C++100

Haskell library for finite ranges via types

Language:HaskellMIT1 20

A plugin for circuit notation

Language:HaskellBSD-3-Clause000

Clash Demo Project for the iceBlink40HX1K

Language:NixMIT010

Language:TeX020

Handy macro to generate C-FFI bindings from Rust to Haskell.

Language:RustApache-2.0000

Synthesis Format Conversion Tool

Language:HaskellMIT020

GUI framework that uses the web browser as a display.

Language:HaskellNOASSERTION010

Library and tools for the TSL specification format

Language:HaskellNOASSERTION010

A class for types with only finitely many inhabitants

Language:HaskellMIT000

official gentoo haskell overlay

Language:Shell000

A kitchen timer that is synthesized from a TSL specification.

Language:HaskellMIT000