Pinned Repositories
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
benchmarks
Tons of Inductive Problems: The Benchmarks
bibtext-ifmo
Автоматическая библиография для вестника ИТМО из bibtex
coq-supplementary
A supplementary Coq workout repository
epub-translate
Script to translate English EPUB books to Russian using Yandex translate
klee
KLEE Symbolic Execution Engine
RInGen
Regular Invariant Generator and SMTLIB2 code transformer
SMTLIB2
SMTLIB2 bindings for FSharp
vampire
The Vampire Theorem Prover
z3
The Z3 Theorem Prover
Columpio's Repositories
Columpio/RInGen
Regular Invariant Generator and SMTLIB2 code transformer
Columpio/benchmarks
Tons of Inductive Problems: The Benchmarks
Columpio/vampire
The Vampire Theorem Prover
Columpio/z3
The Z3 Theorem Prover
Columpio/benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Columpio/bibtext-ifmo
Автоматическая библиография для вестника ИТМО из bibtex
Columpio/coq-supplementary
A supplementary Coq workout repository
Columpio/epub-translate
Script to translate English EPUB books to Russian using Yandex translate
Columpio/klee
KLEE Symbolic Execution Engine
Columpio/SMTLIB2
SMTLIB2 bindings for FSharp
Columpio/VSharp
Columpio/guidance
A guidance language for controlling large language models.
Columpio/jb-lab-proceedings
Automatically exported from code.google.com/p/jb-lab-proceedings
Columpio/klee-experiments-runner
A small script for running KLEE experiments (based on `coreutils`)
Columpio/litellm
Python SDK, Proxy Server to call 100+ LLM APIs using the OpenAI format - [Bedrock, Azure, OpenAI, VertexAI, Cohere, Anthropic, Sagemaker, HuggingFace, Replicate, Groq]
Columpio/PhD-Thesis
Columpio/pp_sexp
Pretty-printing of s-expressions. Implemented in OCaml
Columpio/rider-settings
Columpio/smtlibv2-grammar
ANTLR SMT-LIB v2 Grammar
Columpio/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
Columpio/tree-automata-sync
A project to help invent tree tuple automata synchronization strategy
Columpio/TRIKparse
Retrieves all class names and namespaces from headers in root
Columpio/trikRuntime
Runtime for TRIK controller
Columpio/verified-symbolic-memory
Symbolic memory consistency proofs in Coq