ksuenaga

followers

following

stars

Kyoto University

Kyoto

https://researchmap.jp/ksuenaga?lang=en

Kohei Suenaga's repositories

winskel-textbook-jp

Glynn Winskel 著，末永幸平他訳，「プログラミング言語の形式的意味論入門」（丸善出版, 2023）のサポートサイト

Language:TeXApache-2.07 7 18

HybridPDR

Hybrid system verification using PDR/IC3

Language:OCaml4 4 9

cln2inv

Language:RoffMIT000

dreal3

New version of the dReal solver. More info at

Language:SMTGPL-3.0010

fetch-receipt

Apache-2.0000

G-CLN

Language:Roff000

homfa

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

link-checker

Language:CSS000

min-caml

NOASSERTION000

owl

Owl is an OCaml numerical library: dense and sparse matrix, linear algebra, regressions, maths and stats functions.

Language:OCamlMIT020

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 ;)

Language:Jupyter NotebookMIT010

realWorldOCamlBook

V2 of Real World OCaml

Language:OCamlNOASSERTION000

refinementQuickcheck

Automatic testing of Haskell programs.

Language:HaskellNOASSERTION000

RStanBook

『StanとRでベイズ統計モデリング』のサポートページです.

Language:R010

seahorn

SeaHorn Verification Framework

Language:CNOASSERTION010

snarkl

Language:HaskellBSD-3-Clause000

sv-benchmarks

Collection of Verification Tasks

Language:C010

VerificationTools

List of verification tools for software and other types of systems

000

z3

The Z3 Theorem Prover

Language:C++NOASSERTION010

z3test

Test and benchmark repository for Z3.

Language:SMTNOASSERTION010