formal
Here are 40 public repositories matching this topic...
Official Spanish Translation for phpBB 3.3 Formal Honorifics (USTED)
-
Updated
Jun 1, 2024 - PHP
The batteries-included testing and formal verification library for Chisel-based RTL designs.
-
Updated
May 31, 2024 - Scala
Informal to formal dataset mask MLM
-
Updated
Apr 30, 2024 - 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).
-
Updated
Apr 29, 2024 - C++
Towards Universal Atomic Composability: A Formal Model for Multi-Rollup Environments on Ethereum
-
Updated
Feb 13, 2024 - TeX
Imandra FIX Engine
-
Updated
Jan 17, 2024 - OCaml
Minimal and formal résumé (CV) website template for print, mobile, and desktop. https://bit.ly/ur_demo
-
Updated
Oct 4, 2023 - JavaScript
Summer School on Full Stack Open-Source Ecosystem for Processor Based Chip Design
-
Updated
Oct 3, 2023
A groundbreaking open-source initiative designed to enhance your learning experience from formal documents and simplify the process of requesting signatures.
-
Updated
Sep 5, 2023 - TypeScript
FPL - the "Formal Proving Language" is a project to create a universal, human-readable language to formulate mathematical definitions, theorems, and proofs.
-
Updated
Aug 25, 2023 - Python
Online Z-notations Editor with Draft.js and React.js
-
Updated
Feb 27, 2023 - CSS
-
Updated
Feb 2, 2023 - Python
🧠 Provides experimental implementations of psychological phenomena (e.g. typicality, basic level) which appears in field of Cognitive Psychology.
-
Updated
Sep 6, 2022 - Python
Formal Methods Specification to model the "Lamport Bakery" using an invented language
-
Updated
Jun 29, 2022
Improve this page
Add a description, image, and links to the formal topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the formal topic, visit your repo's landing page and select "manage topics."