- Brno, Czech Republic
-
17:08
(UTC +02:00) - https://orcid.org/0000-0002-7264-2569
- in/jan-tu%c5%a1il-73b59bb1
Highlights
- Pro
Block or Report
Block or report h0nzZik
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
-
Archive for all Coq related OPAM packages organized in various repositories
OCaml GNU Lesser General Public License v2.1 UpdatedApr 23, 2024 -
-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedJan 23, 2024 -
-
kaipy Public
An Abstract Interpreter for the K framework
Python GNU General Public License v3.0 UpdatedOct 10, 2023 -
-
-
k Public
Forked from runtimeverification/kK Framework Tools 5.0
Java BSD 3-Clause "New" or "Revised" License UpdatedJun 22, 2023 -
-
-
-
poetry2nix Public
Forked from nix-community/poetry2nixConvert poetry projects to nix automagically [maintainer=@adisbladis]
Nix MIT License UpdatedMar 22, 2023 -
-
cppfront Public
Forked from hsutter/cppfrontA personal experimental C++ Syntax 2 -> Syntax 1 compiler
C++ Other UpdatedNov 13, 2022 -
evm-semantics Public
Forked from runtimeverification/evm-semanticsK Semantics of the Ethereum Virtual Machine (EVM)
Solidity Other UpdatedAug 23, 2022 -
fsl.cs.illinois.edu Public
Forked from Formal-Systems-Laboratory/fsl.cs.illinois.eduTeX Other UpdatedMar 20, 2021 -
llvm-backend Public
Forked from runtimeverification/llvm-backendKORE to llvm translation
C++ UpdatedMar 12, 2021 -
AML-Formalization Public
Forked from harp-project/AML-FormalizationCoq GNU General Public License v3.0 UpdatedAug 3, 2020 -
-
-
c-semantics Public
Forked from kframework/c-semanticsSemantics of C in K
C Other UpdatedMar 13, 2020 -
-
-
-
-
-
-
-
Implements Partial Order Reduction on NTS formalism in order to ease LLVM model checking