-
c-ctl-check Public
A prototype model checker for CTL over constraint semirings
F# GNU Affero General Public License v3.0 UpdatedMay 11, 2026 -
FSharp.Analyzers.SDK Public
Forked from ionide/FSharp.Analyzers.SDKLibrary for building custom analyzers for F# / FSAC
F# MIT License UpdatedFeb 2, 2026 -
-
OpenID4VC-HAIP Public
Forked from openid/OpenID4VC-HAIPHigh Assurance Profile of OID4VP and OID4VCI using SD-JWT VC and mdocs that is privacy preserving, secure, and meets regulatory requirements
Makefile UpdatedNov 7, 2025 -
mpstk Public
Forked from alcestes/mpstkMultiparty Session Types toolKit
Scala MIT License UpdatedMay 12, 2025 -
-
word-counter Public
Counts words in a text file.
Haskell GNU General Public License v3.0 UpdatedJun 1, 2024 -
secav-prover Public
An automated theorem prover for the SeCaV proof system.
Isabelle GNU General Public License v3.0 UpdatedApr 10, 2024 -
isabelle-cabal Public
Cabal support for code generation from Isabelle.
-
isabelle-cabal-demo Public
A demo application for the Isabelle Cabal.
Isabelle GNU General Public License v3.0 UpdatedNov 22, 2022 -
coq-microprover Public
A formally verified automated theorem prover for the propositional fragment of implication and falsity.
-
tfpie-2022-statistics Public
Statistical analysis for our 2022 TFPIE-article.
R GNU General Public License v3.0 UpdatedJun 23, 2022 -
isasnips Public
Forked from astahfrom/isasnipsGenerate LaTeX snippets for Isabelle theories.
Rust GNU General Public License v3.0 UpdatedJul 15, 2021 -
flexboxfroggy Public
Forked from thomaspark/flexboxfroggyA game for learning CSS flexbox 🐸
JavaScript MIT License UpdatedOct 1, 2020 -
CompCert Public
Forked from AbsInt/CompCertThe CompCert formally-verified C compiler
Coq Other UpdatedJun 30, 2019
{{ message }}