amelia miado · she/her
2 followers · 4 following
Repositories
6
 Projects Packages Public activity Starred repositories
6
Filter
Sort
ncurses-pong
C 0 0
Pong game made in ncurses circa. 2020
Updated 2026-06-02 22:30:57 +02:00
contract_benchmark
MLIR 0 0
Benchmark generated to evaluate CIRCT's modular formal verification backend.
Updated 2026-04-17 17:27:55 +02:00
nix-config
Nix 0 0
Series of nix config files I use
Updated 2026-03-26 21:23:05 +01:00
clash-compiler-circt
Haskell 1 0
(WIP) CIRCT port of the clash compiler
Updated 2026-02-26 00:17:42 +01:00
dvrtl
Python 0 0
(WIP) Lightweight Deductive Verifier for Hardware.
Updated 2025-12-09 16:10:37 +01:00
lou-research
Pony 0 0
Snippets and notes from playing around with actor models and reactive programming.
Updated 2025-11-11 06:43:32 +01:00