samuelgruetter
Follow
-
asl-interpreter Public
Forked from alastairreid/asl-interpreterExample implementation of Arm's Architecture Specification Language (ASL)
OCaml Other UpdatedFeb 2, 2025 -
-
-
SpinalTemplateSbt Public template
Forked from SpinalHDL/SpinalTemplateSbtA basic SpinalHDL project
Scala UpdatedOct 10, 2024 -
coq-tricks Public
Collection of Useful Features of the Coq Proof Assistant
-
-
fiat-crypto Public
Forked from mit-plv/fiat-cryptoCryptographic Primitive Code Generation by Fiat
Coq MIT License UpdatedFeb 5, 2024 -
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
OCaml GNU Lesser General Public License v2.1 UpdatedDec 20, 2023 -
rupicola Public
Forked from mit-plv/rupicolaGallina to Bedrock2 compilation toolkit
Coq MIT License UpdatedAug 14, 2023 -
critbit-coq Public
Forked from tchomphoochan/critbit-coq(An attempt at) A formally verified Coq implementation of crit-bit trees
Coq UpdatedAug 9, 2023 -
coq-smt-notations Public
A quick hack to ask any SMT solver if your Coq goal is true
-
-
ZFC-prover-in-Coq Public
Forked from rikosellic/ZFC-prover-in-CoqThis is a ZFC prover embedded in Coq for teaching scenarios. More information can be found in CoqPL 2023.
Coq UpdatedJan 21, 2023 -
check-ci-success Public
Using GitHub's API, check if the CI run on a given branch succeeded
Python MIT License UpdatedJan 9, 2023 -
dot-calculus Public
Formalization of the Dependent Object Types (DOT) calculus
-
egg Public
Forked from egraphs-good/eggegg is a flexible, high-performance e-graph library
Rust MIT License UpdatedJul 6, 2022 -
coq-record-update Public
Forked from tchajed/coq-record-updateLibrary to create Coq record update functions
Coq MIT License UpdatedMar 28, 2022 -
yoha Public
Forked from handtracking-io/yohaA practical hand tracking engine.
TypeScript MIT License UpdatedDec 27, 2021 -
silveroak Public
Forked from project-oak/silveroakFormal specification and verification of hardware, especially for security and privacy.
Coq Apache License 2.0 UpdatedDec 6, 2021 -
riscv-elf-psabi-doc Public
Forked from riscv-non-isa/riscv-elf-psabi-docA RISC-V ELF psABI Document
Makefile Creative Commons Attribution 4.0 International UpdatedOct 28, 2021 -
BIG-bench Public
Forked from google/BIG-benchBeyond the Imitation Game collaborative benchmark for enormous language models
Python Apache License 2.0 UpdatedAug 3, 2021 -
hireslofps Public
Sharing a high-resolution but low framerate image stream
JavaScript UpdatedDec 7, 2020 -
opam-coq-archive Public
Forked from coq/opamArchive for all Coq related OPAM packages organized in various repositories
JavaScript GNU Lesser General Public License v2.1 UpdatedOct 15, 2020 -
-
-
RISCV_ISA_Spec_Tour Public
Forked from rsnikhil/RISCV_ISA_Spec_TourTutorial tour of the RISC-V ISA Spec (expressed in SAIL ISA spec language)
TeX Apache License 2.0 UpdatedDec 12, 2019 -
name-the-biggest-number Public
Forked from codyroux/name-the-biggest-numberCoq MIT License UpdatedDec 3, 2019 -
dafny Public
Forked from dafny-lang/dafnyDafny is a verification-aware programming language
C# Other UpdatedOct 1, 2019 -
kami Public
Forked from mit-plv/kamiA Platform for High-Level Parametric Hardware Specification and its Modular Verification
Coq MIT License UpdatedSep 26, 2019 -
libraries Public
Forked from dafny-lang/librariesLibraries useful for Dafny programs
MIT License UpdatedAug 22, 2019