Search Results - RepositoryStats

universal-resume WebPraktikos

202

1.7k

other

21

Minimal and formal résumé (CV) website template for print, mobile, and desktop.

a4 cv pdf html paper print formal letter mobile resume minimal template responsive typography tailwindcss

Created 2019-05-30

262 commits to master branch, last one about a year ago

chiseltest ucb-bar

76

226

other

23

The batteries-included testing and formal verification library for Chisel-based RTL designs.

chisel formal testing verification

This repository has been archived (exclude archived)

Created 2018-08-24

406 commits to main branch, last one 4 months ago

Z-Editor Z-Editor

42

144

mit

7

Online Z-notations Editor with Draft.js and React.js

formal methods reactjs draft-js z-notations

Created 2017-08-04

77 commits to master branch, last one 2 years ago

ILAng PrincetonUniversity

18

75

mit

13

A Modeling and Verification Platform for SoCs using ILAs

ila ilang formal abstraction accelerator verification heterogeneous system-on-chip

Created 2017-01-11

4,043 commits to master branch, last one 3 years ago

fix-engine imandra-ai

3

51

apache-2.0

17

Imandra FIX Engine

fix formal imandra fix-protocol verification formal-methods financial-markets formal-verification

Created 2016-12-04

1,041 commits to master branch, last one about a month ago

Verse-library AutoVerse-ai

18

30

ncsa

4

Library for modeling, simulation, and verification of interacting autonomous agents

ai formal autonomy vehicles scenarios verification

Created 2022-07-28

819 commits to main branch, last one 2 months ago