TDacik

Tomáš Dacík's starred repositories

A VIM-inspired filemanager for the console

Language:PythonGPL-3.015145 156 2062

πfs - the data-free filesystem!

Language:CGPL-3.06576 196 65

Awesome autocompletion, static analysis and refactoring library for python

Language:PythonNOASSERTION5714 114 1398

QuickCheck inspired property-based testing for OCaml.

Language:OCamlBSD-2-Clause340 13 148

Documentation compiler for OCaml and Reason

Language:OCamlNOASSERTION313 20 558

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

Language:PythonApache-2.0219 16 372

GitHub Action for the OCaml programming language

Language:TypeScriptMIT196 8 131

Collection of Verification Tasks (MOVED, please follow the link)

OCaml version of Category Theory For Programmers

Language:C++GPL-3.0124 13 2

Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction

Language:OCamlBSD-2-Clause76 10 86

Language:SWIGNOASSERTION14 1 1

Resources for the SL-COMP 2019 edition

Language:SMT6 2 1

Prototype implementation of a proof search algorithm for inductive predicate entailments.

Language:C++GPL-3.0200

Sloth: a solver for Separation LOgic modulo THeories

Language:PythonMIT201