Minimal and formal résumé (CV) website template for print, mobile, and desktop. https://bit.ly/ur_demo
-
Updated
Oct 4, 2023 - JavaScript
Minimal and formal résumé (CV) website template for print, mobile, and desktop. https://bit.ly/ur_demo
The batteries-included testing and formal verification library for Chisel-based RTL designs.
Online Z-notations Editor with Draft.js and React.js
A Modeling and Verification Platform for SoCs using ILAs
Formal response to reviewer's comments latex template
Download proccedings from DVCon
Imandra FIX Engine
Formal Methods Specification to model the "Lamport Bakery" using an invented language
FPL - the "Formal Proving Language" is a project to create a universal, human-readable language to formulate mathematical definitions, theorems, and proofs.
🧠 Provides experimental implementations of psychological phenomena (e.g. typicality, basic level) which appears in field of Cognitive Psychology.
Grammar Tool is a procedural generation tool developed for Unity Engine that allows the user to create their own Grammar System.
Summer School on Full Stack Open-Source Ecosystem for Processor Based Chip Design
Homeworks for 'formal languages and grammars' discipline
Add a description, image, and links to the formal topic page so that developers can more easily learn about it.
To associate your repository with the formal topic, visit your repo's landing page and select "manage topics."