Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by philzook58

A curated list of projects in awesome lists by philzook58 .

https://github.com/philzook58/nand2coq

Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools).

coq formal-methods fpga nand2tetris

Last synced: 24 Sep 2024

https://github.com/philzook58/philzook58.github.io

My Blog

Last synced: 01 Aug 2024