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

• UpdatedJul 25, 2024
• JavaScript

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

• UpdatedAug 19, 2024
• Scala

Online Z-notations Editor with Prosemirror and React.js

• UpdatedMar 10, 2025
• TypeScript

A Modeling and Verification Platform for SoCs using ILAs

• UpdatedJul 3, 2024
• C++

Imandra FIX Engine

• UpdatedNov 19, 2024
• OCaml

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

• UpdatedMar 10, 2025
• Jupyter Notebook

Download proccedings from DVCon

• UpdatedJun 9, 2021
• Shell

ILA Model Database

• UpdatedSep 27, 2020
• C++

A teaching aid library for formal languages and compiler courses

• UpdatedMar 13, 2025
• Python

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).

• UpdatedDec 18, 2024
• C++

Microarchitectural control flow integrity (𝜇CFI) verification checks whether there exists a control or data flow from instruction's operands to the program counter.

• UpdatedMar 5, 2025
• Verilog

FPL - the "Formal Proving Language" is a project to create a universal, human-readable language to formulate mathematical definitions, theorems, and proofs.

• UpdatedAug 25, 2023
• Python

GPU-accelerated value iteration for Interval Markov Decision Processes

• UpdatedMar 12, 2025
• Julia

Informal to formal dataset mask MLM

• UpdatedMar 6, 2025
• Python

LaTeX style for Formal Grammars and operations on them

• UpdatedMar 17, 2020
• TeX

Grammar Tool is a procedural generation tool developed for Unity Engine that allows the user to create their own Grammar System.

• UpdatedSep 10, 2021
• C#

Master Thesis work at Cobham Gaisler. RISC-V verification of the NOEL-V processor

• UpdatedMay 28, 2022
• VHDL

Formal response to reviewer's comments latex template

• UpdatedJan 22, 2019
• TeX

A groundbreaking open-source initiative designed to enhance your learning experience from formal documents and simplify the process of requesting signatures.

• UpdatedSep 5, 2023
• TypeScript

Official Spanish Translation for phpBB 3.2 Formal Honorifics (USTED)

• UpdatedMar 9, 2021
• PHP