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

Imandra FIX Engine

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

Download proccedings from DVCon

ILA Model Database

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

A teaching aid library for formal languages and compiler courses

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

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

Official Spanish Translation for phpBB 3.2 Formal Honorifics (USTED)

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

GPU-accelerated value iteration for Interval Markov Decision Processes

Formal response to reviewer's comments latex template

In this repository I will put some exercise about formal languages and compilers

🧠 Provides experimental implementations of psychological phenomena (e.g. typicality, basic level) which appears in field of Cognitive Psychology.