Yurii Kostyukov (Columpio)

Columpio

Geek Repo

Github PK Tool:Github PK Tool


Organizations
VSharp-team

Yurii Kostyukov's repositories

RInGen

Regular Invariant Generator and SMTLIB2 code transformer

Language:SMTStargazers:11Issues:3Issues:0

benchmarks

Tons of Inductive Problems: The Benchmarks

Language:SMTLicense:BSD-3-ClauseStargazers:1Issues:0Issues:0

vampire

The Vampire Theorem Prover

Language:C++License:NOASSERTIONStargazers:1Issues:0Issues:0

z3

The Z3 Theorem Prover

Language:C++License:NOASSERTIONStargazers:1Issues:0Issues:0

benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0

bibtext-ifmo

Автоматическая библиография для вестника ИТМО из bibtex

Language:PythonStargazers:0Issues:1Issues:0

coq-supplementary

A supplementary Coq workout repository

Language:CoqStargazers:0Issues:1Issues:0

epub-translate

Script to translate English EPUB books to Russian using Yandex translate

Language:PythonStargazers:0Issues:1Issues:0

klee

KLEE Symbolic Execution Engine

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

SMTLIB2

SMTLIB2 bindings for FSharp

Language:C#Stargazers:0Issues:1Issues:1
Language:F#Stargazers:0Issues:0Issues:0

guidance

A guidance language for controlling large language models.

Language:Jupyter NotebookLicense:MITStargazers:0Issues:0Issues:0

jb-lab-proceedings

Automatically exported from code.google.com/p/jb-lab-proceedings

Language:TeXStargazers:0Issues:1Issues:0

klee-experiments-runner

A small script for running KLEE experiments (based on `coreutils`)

Language:PythonLicense:MITStargazers:0Issues:1Issues:0
Language:TeXLicense:CC-BY-4.0Stargazers:0Issues:1Issues:0

pp_sexp

Pretty-printing of s-expressions. Implemented in OCaml

Stargazers:0Issues:0Issues:0
Stargazers:0Issues:1Issues:0

smtlibv2-grammar

ANTLR SMT-LIB v2 Grammar

Language:SMTLicense:MITStargazers:0Issues:0Issues:0

survey-symbolic-execution

A survey by the SEASON lab on symbolic execution tools and techniques. A stable draft can be found at https://arxiv.org/abs/1610.00502

Language:TeXStargazers:0Issues:0Issues:0

tree-automata-sync

A project to help invent tree tuple automata synchronization strategy

Language:F#Stargazers:0Issues:1Issues:0

TRIKparse

Retrieves all class names and namespaces from headers in root

Language:PythonStargazers:0Issues:1Issues:0

trikRuntime

Runtime for TRIK controller

Language:C++License:Apache-2.0Stargazers:0Issues:1Issues:2

verified-symbolic-memory

Symbolic memory consistency proofs in Coq

Language:CoqStargazers:0Issues:1Issues:0