Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with formal
A curated list of projects in awesome lists tagged with formal .
https://github.com/webpraktikos/universal-resume
Minimal and formal résumé (CV) website template for print, mobile, and desktop.
a4 cv formal html letter minimal mobile paper pdf print responsive resume tailwindcss template typography
Last synced: 27 Sep 2024
https://github.com/WebPraktikos/universal-resume
Minimal and formal résumé (CV) website template for print, mobile, and desktop. https://bit.ly/ur_demo
a4 cv formal html letter minimal mobile paper pdf print responsive resume tailwindcss template typography
Last synced: 31 Jul 2024
https://github.com/ucb-bar/chiseltest
The batteries-included testing and formal verification library for Chisel-based RTL designs.
chisel formal testing verification
Last synced: 02 Aug 2024
https://github.com/Z-Editor/Z-Editor
Online Z-notations Editor with Draft.js and React.js
draft-js formal methods reactjs z-notations
Last synced: 03 Aug 2024
https://github.com/PrincetonUniversity/ILAng
A Modeling and Verification Platform for SoCs using ILAs
abstraction accelerator formal heterogeneous ila ilang system-on-chip verification
Last synced: 03 Aug 2024
https://github.com/Tinky364/GrammarTool
Grammar Tool is a procedural generation tool developed for Unity Engine that allows the user to create their own Grammar System.
formal grammar lsystem lsystem-plant-generator procedural-generation
Last synced: 02 Aug 2024