formal

ucb-bar/chiseltest

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

Z-Editor/Z-Editor

Online Z-notations Editor with Prosemirror and React.js

PrincetonUniversity/ILAng

A Modeling and Verification Platform for SoCs using ILAs

imandra-ai/fix-engine

Imandra FIX Engine

AutoVerse-ai/Verse-library

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

PrincetonUniversity/IMDb-Archive

ILA Model Database

troyguo/dvcon_download

Download proccedings from DVCon

let-unimi/liblet

A teaching aid library for formal languages and compiler courses

Kiguli/IMPaCT

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

comsec-group/mucfi

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

bookofproofs/fpl

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

Zinoex/IntervalMDP.jl

GPU-accelerated value iteration for Interval Markov Decision Processes

BigSalmon2/InformalToFormalDataset

Informal to formal dataset mask MLM

Heghy/GrammarTool

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

jossmoff/formalgrammars

LaTeX style for Formal Grammars and operations on them

lfernando2091/nuverax

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

opencourses/formal_languages_and_compilers

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

palade/response-reviewers-comments-latex-template

Formal response to reviewer's comments latex template

phpBB-Spain/3.2_Formal_Honorifics

Official Spanish Translation for phpBB 3.2 Formal Honorifics (USTED)

TheSaltyLiquorice/MasterThesisNoelV

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

cryptuon/tesseract-paper

Towards Universal Atomic Composability: A Formal Model for Multi-Rollup Environments on Ethereum

Dragon-Git/formal

josright123/lnx_dm9051_light_rx1

josright123 make here the linux dm9051 driver git repository, for easy pull to use

Mandarancio/ProofKit

ADT and Proof editor

memoriasIT/Formal-Methods-Specification

Formal Methods Specification to model the "Lamport Bakery" using an invented language

mikulatomas/conexp-to-python

Simple tool for extracting formal context and concepts from .cex file, which is created by conexp

mikulatomas/fcapsy

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

nodef/pg-slang

Convert informal SQL SELECT to formal SQL.

phpBB-Spain/3.3_Formal_Honorifics

Official Spanish Translation for phpBB 3.3 Formal Honorifics (USTED)

thegalactic/py-galactic

A package developed in Python for studying Formal Concept Analysis.

mikulatomas/questions

Kaggle dataset question clustering via Formal Concept Analysis inside Dash app

ucerd/Summer-School-2023_2

Summer School on Full Stack Open-Source Ecosystem for Processor Based Chip Design

deadcoder0904/expo-formal

Using Expo with Formal to make the world's simplest forms in React Native

raphaelauv/formal-calculator

Formal calculator and function plot( University project )

SzymonKatra/Rybu4WS

Language for modeling distributed systems and debugger for visualizing deadlocks.