Nicolet Victor's repositories
genconstraints
Generating SAT encodings of At Most K constraints
syguslib-utils
Parser for SyGuS Lib 2.1, in OCaml.
Language:Slash000
vscode-sygus
Extension for SyGuS language in Visual Studio Code.
beamer-uoft
beamer theme for University of Toronto
Language:TeX000
harris-corner-implementations
Different implementations of Harris Corner Detection using OpenMP
Language:C++000
ocaml_openai_api
A wrapper around OpenAI's API written in OCaml.
Language:OCaml000
opam-repository
Main public package repository for opam, the source package manager of OCaml.
Language:ShellCC0-1.0000
slmoch
Small lustre model checker.
Language:OCaml000
sygus-benchmarks
Benchmarks for SyGuS Competition (SyGuS-Comp)
000
tiling-strategies
Different tiling strategies with examples : jacobi1d, ..
Language:C000
Language:OCaml000
Language:SMT000