GitHub topics: formal
fjpolo/FPGA_Project-Creator
FPGA template project creator
Language: Shell - Size: 67.4 KB - Last synced at: about 19 hours ago - Pushed at: about 19 hours ago - Stars: 0 - Forks: 0
AutoVerse-ai/Verse-library
Library for modeling, simulation, and verification of interacting autonomous agents
Language: Jupyter Notebook - Size: 140 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 33 - Forks: 20
Zinoex/IntervalMDP.jl
GPU-accelerated value iteration for Interval Markov Decision Processes
Language: Julia - Size: 1.7 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 8 - Forks: 2
PrincetonUniversity/ILAng
A Modeling and Verification Platform for SoCs using ILAs
Language: C++ - Size: 193 MB - Last synced at: 8 days ago - Pushed at: 11 months ago - Stars: 77 - Forks: 19
ucb-bar/chiseltest 📦
The batteries-included testing and formal verification library for Chisel-based RTL designs.
Language: Scala - Size: 1.41 MB - Last synced at: 5 days ago - Pushed at: 9 months ago - Stars: 233 - Forks: 76
WebPraktikos/universal-resume
Minimal and formal résumé (CV) website template for print, mobile, and desktop.
Language: JavaScript - Size: 4.59 MB - Last synced at: 4 days ago - Pushed at: 10 months ago - Stars: 1,759 - Forks: 200
KaminariOS/Verustd
Verifying Rust Standard Library
Language: Rust - Size: 767 KB - Last synced at: 25 days ago - Pushed at: 25 days ago - Stars: 0 - Forks: 1
phpBB-Spain/3.3_Formal_Honorifics
Official Spanish Translation for phpBB 3.3 Formal Honorifics (USTED)
Language: PHP - Size: 621 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0
let-unimi/liblet
A teaching aid library for formal languages and compiler courses
Language: Python - Size: 1.49 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 12 - Forks: 3
nodef/pg-slang
Convert informal SQL SELECT to formal SQL.
Language: JavaScript - Size: 12.7 KB - Last synced at: 9 days ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0
BigSalmon2/InformalToFormalDataset
Informal to formal dataset mask MLM
Language: Python - Size: 737 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 5 - Forks: 0
Z-Editor/Z-Editor
Online Z-notations Editor with Prosemirror and React.js
Language: TypeScript - Size: 1.36 MB - Last synced at: 9 days ago - Pushed at: about 1 month ago - Stars: 147 - Forks: 43
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.
Language: Verilog - Size: 41.9 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 11 - Forks: 1
PrincetonUniversity/IMDb-Archive
ILA Model Database
Language: C++ - Size: 20 MB - Last synced at: about 1 month ago - Pushed at: over 4 years ago - Stars: 22 - Forks: 4
imandra-ai/fix-engine
Imandra FIX Engine
Language: OCaml - Size: 7.86 MB - Last synced at: about 1 month ago - Pushed at: 6 months ago - Stars: 52 - Forks: 3
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).
Language: C++ - Size: 21.9 MB - Last synced at: about 1 month ago - Pushed at: 5 months ago - Stars: 11 - Forks: 0
thegalactic/py-galactic
A package developed in Python for studying Formal Concept Analysis.
Language: Python - Size: 77.1 KB - Last synced at: 28 days ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 1
ucerd/Summer-School-2023_2
Summer School on Full Stack Open-Source Ecosystem for Processor Based Chip Design
Size: 59.3 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0
phpBB-Spain/3.2_Formal_Honorifics
Official Spanish Translation for phpBB 3.2 Formal Honorifics (USTED)
Language: PHP - Size: 525 KB - Last synced at: 12 months ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 0
jossmoff/formalgrammars
LaTeX style for Formal Grammars and operations on them
Language: TeX - Size: 20.5 KB - Last synced at: about 1 year ago - Pushed at: about 5 years ago - Stars: 3 - Forks: 0
memoriasIT/Formal-Methods-Specification
Formal Methods Specification to model the "Lamport Bakery" using an invented language
Size: 67.4 KB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 2
opencourses/formal_languages_and_compilers
In this repository I will put some exercise about formal languages and compilers
Language: Lex - Size: 685 KB - Last synced at: about 1 year ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 0
cryptuon/tesseract-paper
Towards Universal Atomic Composability: A Formal Model for Multi-Rollup Environments on Ethereum
Language: TeX - Size: 150 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
NicolaDes/ariadneExample
An example of ariadne utilization.
Language: C++ - Size: 5.19 MB - Last synced at: over 1 year ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 1
lfernando2091/nuverax
A groundbreaking open-source initiative designed to enhance your learning experience from formal documents and simplify the process of requesting signatures.
Language: TypeScript - Size: 928 KB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0
TheSaltyLiquorice/MasterThesisNoelV
Master Thesis work at Cobham Gaisler. RISC-V verification of the NOEL-V processor
Language: VHDL - Size: 42.9 MB - Last synced at: almost 2 years ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0
Harmony-1967serenade/-economist-
economist
Size: 1000 Bytes - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
josright123/lnx_dm9051_light_rx1
josright123 make here the linux dm9051 driver git repository, for easy pull to use
Language: C - Size: 190 KB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
ysharplanguage/CJ2
CJ^2 Algorithm
Language: C# - Size: 248 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
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 - Size: 5.72 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 8 - Forks: 2
troyguo/dvcon_download
Download proccedings from DVCon
Language: Shell - Size: 8.79 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 20 - Forks: 7
SzymonKatra/Rybu4WS
Language for modeling Web Service compositions for the purpose of formal verification and tool for simulating counterexample/wtiness.
Language: C# - Size: 1.19 MB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
Heghy/GrammarTool
Grammar Tool is a procedural generation tool developed for Unity Engine that allows the user to create their own Grammar System.
Language: C# - Size: 806 KB - Last synced at: 13 days ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 1
mikulatomas/questions
Kaggle dataset question clustering via Formal Concept Analysis inside Dash app
Language: Python - Size: 697 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
mikulatomas/fcapsy
🧠 Provides experimental implementations of psychological phenomena (e.g. typicality, basic level) which appears in field of Cognitive Psychology.
Language: Python - Size: 3.27 MB - Last synced at: 12 days ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 1
Mandarancio/ProofKit
ADT and Proof editor
Language: Swift - Size: 917 KB - Last synced at: 6 days ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 1
mikulatomas/conexp-to-python
Simple tool for extracting formal context and concepts from .cex file, which is created by conexp
Language: Python - Size: 5.86 KB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 0
palade/response-reviewers-comments-latex-template
Formal response to reviewer's comments latex template
Language: TeX - Size: 6.84 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 16
raphaelauv/formal-calculator
Formal calculator and function plot( University project )
Language: OCaml - Size: 13.7 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
deadcoder0904/expo-formal
Using Expo with Formal to make the world's simplest forms in React Native
Language: JavaScript - Size: 734 KB - Last synced at: 3 months ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0
zeionara/formal_languages_and_grammars
Homeworks for 'formal languages and grammars' discipline
Language: C++ - Size: 419 KB - Last synced at: 3 months ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0
