Kohei Suenaga's repositories
winskel-textbook-jp
Glynn Winskel 著,末永幸平他訳,「プログラミング言語の形式的意味論入門」(丸善出版, 2023)のサポートサイト
Language:RoffMIT000
Apache-2.0000
Language:Roff000
Language:C++NOASSERTION000
jekyll-now
Build a Jekyll blog in minutes, without touching the command line.
Language:CSSMIT000
js_of_ocaml-example
A tiny sample js_of_ocaml project
Language:OCaml000
keelung
The Keelung Language
Language:HaskellApache-2.0000
libsnark
libsnark: a C++ library for zkSNARK proofs
Language:C++NOASSERTION000
Language:CSS000
NOASSERTION000
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 ;)
realWorldOCamlBook
V2 of Real World OCaml
Language:OCamlNOASSERTION000
refinementQuickcheck
Automatic testing of Haskell programs.
Language:HaskellNOASSERTION000
Language:HaskellBSD-3-Clause000
sv-benchmarks
Collection of Verification Tasks
VerificationTools
List of verification tools for software and other types of systems
000