Pinned Repositories
cln2inv
dreal3
New version of the dReal solver. More info at
echidna
Ethereum smart contract fuzzer
fetch-receipt
G-CLN
homfa
HybridPDR
Hybrid system verification using PDR/IC3
winskel-textbook-jp
Glynn Winskel 著，末永幸平他訳，「プログラミング言語の形式的意味論入門」（丸善出版, 2023）のサポートサイト
ksuenaga's Repositories
ksuenaga/winskel-textbook-jp
Glynn Winskel 著，末永幸平他訳，「プログラミング言語の形式的意味論入門」（丸善出版, 2023）のサポートサイト
ksuenaga/HybridPDR
Hybrid system verification using PDR/IC3
ksuenaga/cln2inv
ksuenaga/dreal3
New version of the dReal solver. More info at
ksuenaga/echidna
Ethereum smart contract fuzzer
ksuenaga/fetch-receipt
ksuenaga/G-CLN
ksuenaga/homfa
ksuenaga/jekyll-now
Build a Jekyll blog in minutes, without touching the command line.
ksuenaga/js_of_ocaml-example
A tiny sample js_of_ocaml project
ksuenaga/keelung
The Keelung Language
ksuenaga/libsnark
libsnark: a C++ library for zkSNARK proofs
ksuenaga/link-checker
ksuenaga/min-caml
ksuenaga/owl
Owl is an OCaml numerical library: dense and sparse matrix, linear algebra, regressions, maths and stats functions.
ksuenaga/Probabilistic-Programming-and-Bayesian-Methods-for-Hackers
aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probabilistic programming with a computation/understanding-first, mathematics-second point of view. All in pure Python ;)
ksuenaga/realWorldOCamlBook
V2 of Real World OCaml
ksuenaga/refinementQuickcheck
Automatic testing of Haskell programs.
ksuenaga/RStanBook
『StanとRでベイズ統計モデリング』のサポートページです.
ksuenaga/seahorn
SeaHorn Verification Framework
ksuenaga/snarkl
ksuenaga/sv-benchmarks
Collection of Verification Tasks
ksuenaga/VerificationTools
List of verification tools for software and other types of systems
ksuenaga/z3
The Z3 Theorem Prover
ksuenaga/z3test
Test and benchmark repository for Z3.