formal topic
M5P01_Prokaron
A tiny real-time kernel focusing on formal reliability and simplicity.
universal-resume
Minimal and formal résumé (CV) website template for print, mobile, and desktop. https://bit.ly/ur_demo
Z-Editor
Online Z-notations Editor with Draft.js and React.js
chiseltest
The batteries-included testing and formal verification library for Chisel-based RTL designs.
ILAng
A Modeling and Verification Platform for SoCs using ILAs
fix-engine
Imandra FIX Engine
dvcon_download
Download proccedings from DVCon
IMDb-Archive
ILA Model Database
Verse-library
Library for modeling, simulation, and verification of interacting autonomous agents