Jan Tusil's repositories
coq-opam
Archive for all Coq related OPAM packages organized in various repositories
LGPL-2.1000
Language:Nix000
nixpkgs
Nix Packages collection
Language:NixMIT000
Language:Nix000
kaipy
An Abstract Interpreter for the K framework
Language:PythonGPL-3.0000
crl-tool
An implementation of Cartesian Reachability Logic
Language:Python000
k
K Framework Tools 5.0
Language:JavaBSD-3-Clause000
Language:TeX000
Language:TeX000
poetry2nix
Convert poetry projects to nix automagically [maintainer=@adisbladis]
MIT000
cpp2-semantics
Towards a formal semantics of CPP2
Language:Python000
cppfront
A personal experimental C++ Syntax 2 -> Syntax 1 compiler
NOASSERTION000
evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
NOASSERTION000
NOASSERTION000
llvm-backend
KORE to llvm translation
Language:C++000
GPL-3.0000
Language:Coq000
c-semantics
Semantics of C in K
Language:CNOASSERTION000
Language:C++GPL-2.0000
Language:C++MIT000
Language:TeX000
snippets
Various code snippets.
Language:C++000
Language:TeX000
llvm2nts
Converts LLVM IR to NTS
Language:C++000
llvm-nts-PartialOrderReduction
Implements Partial Order Reduction on NTS formalism in order to ease LLVM model checking
Language:C++000