Giters

gallais / linear-circuits

Linear Circuits but not as we know it: Using Linear Types to enforce wiring decisions.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Linear Circuits

Experiments in wiring up digital circuits linearly.

About

Linear Circuits but not as we know it: Using Linear Types to enforce wiring decisions.

License:BSD 3-Clause Clear License

Languages

Language:Idris 95.5%Language:SystemVerilog 3.7%Language:Makefile 0.8%