Pinned Repositories
ar-go-tools
ar-go-tools (Argot) is a collection of analysis tools for Go
Synduce
An automatic recursive function transformer.
genconstraints
Generating SAT encodings of At Most K constraints
parsynt
Automatic parallel divide-and-conquer programs synthesizer
precise-parallel-fp
vscode-sygus
Extension for SyGuS language in Visual Studio Code.
victornicolet's Repositories
victornicolet/parsynt
Automatic parallel divide-and-conquer programs synthesizer
victornicolet/genconstraints
Generating SAT encodings of At Most K constraints
victornicolet/precise-parallel-fp
victornicolet/vscode-sygus
Extension for SyGuS language in Visual Studio Code.
victornicolet/syguslib-utils
Parser for SyGuS Lib 2.1, in OCaml.
victornicolet/alt-cil
victornicolet/beamer-uoft
beamer theme for University of Toronto
victornicolet/cil
C Intermediate Language
victornicolet/harris-corner-implementations
Different implementations of Harris Corner Detection using OpenMP
victornicolet/loop_experiments
victornicolet/ocaml_openai_api
A wrapper around OpenAI's API written in OCaml.
victornicolet/opam-repository
Main public package repository for opam, the source package manager of OCaml.
victornicolet/parsynt-III
victornicolet/parsynt-pldi19-benchmarks
victornicolet/pyminic
victornicolet/slmoch
Small lustre model checker.
victornicolet/sygus-benchmarks
Benchmarks for SyGuS Competition (SyGuS-Comp)
victornicolet/testing_parallelization_strategies
victornicolet/tiling-strategies
Different tiling strategies with examples : jacobi1d, ..
victornicolet/type_systems_2016_SUB
victornicolet/victornicolet.github.io