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