#
Formal verification engineer by day. Hobbyist software tinkerer at night.
-
ARM
- United Kingdom
-
20:46
- same time - lewisr.dev
Lists (2)
Sort Name ascending (A-Z)
Starred repositories
5
stars
written in C++
Clear filter
A fast, small, safe, gradually typed embeddable scripting language derived from Lua
Verible is a suite of SystemVerilog developer tools, including a parser, style-linter, formatter and language server
An ongoing attempt to re-engineer LuaJIT from scratch