formal
There are 3 repositories under formal topic.
- universal-resume
WebPraktikos / universal-resume
Minimal and formal résumé (CV) website template for print, mobile, and desktop. https://bit.ly/ur_demo
Language:JavaScript 1698 ucb-bar / chiseltest
The batteries-included testing and formal verification library for Chisel-based RTL designs.
Language:Scala 198EDI-Systems / M5P01_MuProkaron
A tiny real-time kernel focusing on formal reliability and simplicity.
Language:C 151- Language:CSS 142
- ILAng
PrincetonUniversity / ILAng
A Modeling and Verification Platform for SoCs using ILAs
Language:C++ 74 imandra-ai / fix-engine
Imandra FIX Engine
Language:OCaml 49AutoVerse-ai / Verse-library
Library for modeling, simulation, and verification of interacting autonomous agents
Language:Jupyter Notebook 24troyguo / dvcon_download
Download proccedings from DVCon
Language:Shell 21- Language:C++ 19
- Language:Python 10
bookofproofs / fpl
FPL - the "Formal Proving Language" is a project to create a universal, human-readable language to formulate mathematical definitions, theorems, and proofs.
Language:Python 9Kiguli / 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).
Language:C++ 9BigSalmon2 / InformalToFormalDataset
Informal to formal dataset mask MLM
Language:Python 5jossmoff / formalgrammars
LaTeX style for Formal Grammars and operations on them
Language:TeX 3Tinky364 / GrammarTool
Grammar Tool is a procedural generation tool developed for Unity Engine that allows the user to create their own Grammar System.
Language:C# 3lfernando2091 / nuverax
A groundbreaking open-source initiative designed to enhance your learning experience from formal documents and simplify the process of requesting signatures.
Language:TypeScript 2opencourses / formal_languages_and_compilers
In this repository I will put some exercise about formal languages and compilers
Language:Lex 2palade / response-reviewers-comments-latex-template
Formal response to reviewer's comments latex template
Language:TeX 2- 3.2_Formal_Honorifics
phpBB-Spain / 3.2_Formal_Honorifics
Official Spanish Translation for phpBB 3.2 Formal Honorifics (USTED)
Language:PHP 2 Zinoex / IntervalMDP.jl
GPU-accelerated value iteration for Interval Markov Decision Processes
Language:Julia 2josright123 / lnx_dm9051_light_rx1
josright123 make here the linux dm9051 driver git repository, for easy pull to use
Language:C 1- Language:Swift 1
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
Language:Python 1- fcapsy
🧠 Provides experimental implementations of psychological phenomena (e.g. typicality, basic level) which appears in field of Cognitive Psychology.
Language:Python 1 - Language:JavaScript 1
Official Spanish Translation for phpBB 3.3 Formal Honorifics (USTED)
Language:PHP 1TheSaltyLiquorice / MasterThesisNoelV
Master Thesis work at Cobham Gaisler. RISC-V verification of the NOEL-V processor
Language:VHDL 1cryptuon / tesseract-paper
Towards Universal Atomic Composability: A Formal Model for Multi-Rollup Environments on Ethereum
Language:TeX 0Kaggle dataset question clustering via Formal Concept Analysis inside Dash app
Language:Python 0deadcoder0904 / expo-formal
Using Expo with Formal to make the world's simplest forms in React Native
Language:JavaScript- Language:Python
raphaelauv / formal-calculator
Formal calculator and function plot( University project )
Language:OCaml- Language:HTML
SzymonKatra / Rybu4WS
Language for modeling distributed systems and debugger for visualizing deadlocks.
Language:C#ucerd / Summer-School-2023_2
Summer School on Full Stack Open-Source Ecosystem for Processor Based Chip Design
