Minimal and formal résumé (CV) website template for print, mobile, and desktop.
-
Updated
Jul 25, 2024 - JavaScript
Minimal and formal résumé (CV) website template for print, mobile, and desktop.
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
Imandra FIX Engine
Download proccedings from DVCon
IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale Stochastic Systems. IMPaCT is an open-source software tool for the parallelized verification and controller synthesis of large-scale stochastic systems using interval Markov chains (IMCs) and interval Markov decision processes (IMDPs).
FPL - the "Formal Proving Language" is a project to create a universal, human-readable language to formulate mathematical definitions, theorems, and proofs.
Microarchitectural control flow integrity (𝜇CFI) verification checks whether there exists a control or data flow from instruction's operands to the program counter.
Informal to formal dataset mask MLM
Grammar Tool is a procedural generation tool developed for Unity Engine that allows the user to create their own Grammar System.
LaTeX style for Formal Grammars and operations on them
Master Thesis work at Cobham Gaisler. RISC-V verification of the NOEL-V processor
Official Spanish Translation for phpBB 3.2 Formal Honorifics (USTED)
Formal response to reviewer's comments latex template
A groundbreaking open-source initiative designed to enhance your learning experience from formal documents and simplify the process of requesting signatures.
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."