-
-
sha-2 Public
Forked from amosnier/sha-2SHA-2 algorithm implementations
C Other UpdatedMar 18, 2025 -
SHA3IUF Public
Forked from brainhub/SHA3IUFC implementation of the SHA-3 and Keccak with Init/Update/Finalize hashing API (NIST FIPS 202/Etherium)
C MIT License UpdatedMar 18, 2025 -
learning-zkp Public
Forked from sec-bit/learning-zkparticles, codes and tools all about zero-knowledge proofs
Jupyter Notebook UpdatedOct 6, 2024 -
clap Public
Forked from matter-labs/research-publicPublic repo for research projects
Rust UpdatedAug 28, 2024 -
-
-
-
-
-
logical_verification_2021 Public
Forked from blanchette/logical_verification_2021MSc-level computer science course at Vrije Universiteit Amsterdam in Logical Verification by Jasmin Blanchette. This course introduces the proof assistant Lean, its type-theoretic foundations, and …
Lean UpdatedJun 17, 2022 -
didactic-funicular Public
Repositório para conter links interessantes sobre teoria de tipos, lógica e assistente de provas
Creative Commons Zero v1.0 Universal UpdatedJun 7, 2022 -
-
ModularStrongNorm Public
A constructive formalisation of the Modular Strong Normalisation Theorem
Coq UpdatedJul 18, 2021 -
-
-
-
-
-
-
-
-
-
formal_methods_in_education Public
Forked from avigad/formal_methods_in_educationA web page with resources for teaching with formal methods and tools.
Ruby Other UpdatedMay 31, 2020 -
-
bpl-interpreter Public
Interpreter for a simples programming language written in Lua.
-
lambdaex Public
Specification, formalization and verification of the XC function from ex lambda calculus in Coq.
-
cafezinho Public
Compiler for a simple language (cafezinho) written in Python using PLY library.
-
stlcnorm Public
Forked from annenkov/stlcnormSimply-typed lambda calculus and extensions: termination, extrinsic/intrinsic representations, nominal binding techniques
Coq UpdatedFeb 25, 2020 -
formalmetatheory-nominal-Church-Rosser Public
Forked from ernius/formalmetatheory-nominal-Church-RosserFormalisation of Church Rosser Theorem
Agda UpdatedDec 31, 2019
{{ message }}