6 results found Sort:
- Filter by Primary Language:
- C++ (1)
- CSS (1)
- JavaScript (1)
- Jupyter Notebook (1)
- OCaml (1)
- Scala (1)
- +
Minimal and formal résumé (CV) website template for print, mobile, and desktop.
Created
2019-05-30
262 commits to master branch, last one about a year ago
The batteries-included testing and formal verification library for Chisel-based RTL designs.
This repository has been archived
(exclude archived)
Created
2018-08-24
406 commits to main branch, last one 2 months ago
Online Z-notations Editor with Draft.js and React.js
Created
2017-08-04
77 commits to master branch, last one 2 years ago
A Modeling and Verification Platform for SoCs using ILAs
Created
2017-01-11
4,043 commits to master branch, last one 3 years ago
Imandra FIX Engine
Created
2016-12-04
1,039 commits to master branch, last one 6 days ago
Library for modeling, simulation, and verification of interacting autonomous agents
Created
2022-07-28
819 commits to main branch, last one about a month ago