Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 12 Formal Open Source Projects

Open source projects categorized as Formal
Categories > Formal
Universal Resume ⭐ 1,657
Minimal and formal résumé (CV) website template for print, mobile, and desktop. https://bit.ly/ur_demo
dependent packages 1total releases 1most recent commit 7 months agonpm universal-resume-template} Downloads
Chiseltest ⭐ 198
The batteries-included testing and formal verification library for Chisel-based RTL designs.
total releases 27most recent commit 4 days ago
M5p01_muprokaron ⭐ 148
A tiny real-time kernel focusing on formal reliability and simplicity.
most recent commit 5 years ago
Z Editor ⭐ 129
Online Z-notations Editor with Draft.js and React.js
most recent commit a year ago
Ilang ⭐ 64
A Modeling and Verification Platform for SoCs using ILAs
most recent commit 2 years ago
Fix Engine ⭐ 47
Imandra FIX Engine
most recent commit 3 months ago
Verse Library ⭐ 19
Library for modeling, simulation, and verification of interacting autonomous agents
most recent commit 5 months ago
Dvcon_download ⭐ 14
Download proccedings from DVCon
most recent commit 3 years ago
Imdb Archive ⭐ 13
ILA Model Database
most recent commit 4 years ago
Liblet ⭐ 11
A teaching aid library for formal languages and compiler courses
total releases 51most recent commit a year ago
Fpl ⭐ 8
FPL - the "Formal Proving Language" is a project to create a universal, human-readable language to formulate mathematical definitions, theorems, and proofs.
most recent commit 8 months ago
Impact ⭐ 8
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).
most recent commit 3 months ago
The 3 Latest Releases In Formal Open Source Projects
Chiseltest ⭐ 198
The batteries-included testing and formal verification library for Chisel-based RTL designs.
total releases 27latest release August 21, 2023most recent commit 4 days ago
Liblet ⭐ 11
A teaching aid library for formal languages and compiler courses
total releases 51latest release April 04, 2023most recent commit a year ago
Universal Resume ⭐ 1,657
Minimal and formal résumé (CV) website template for print, mobile, and desktop. https://bit.ly/ur_demo
dependent packages 1total releases 1latest release November 27, 2022most recent commit 7 months agonpm universal-resume-template} Downloads
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.