vehicle-lang

Popular repositories Loading

1. vehicle vehicle Public

   A toolkit for enforcing logical specifications on neural networks

   Haskell 130 18

2. vehicle-formalisation vehicle-formalisation Public

   Formalisation of the Vehicle->Solver transformation

   Agda 11 1

3. hs-onnxruntime hs-onnxruntime Public

   Haskell 3 2

4. tutorial tutorial Public

   Jupyter Notebook 3 7

5. tree-sitter-vehicle tree-sitter-vehicle Public

   C 1

6. vscode-vehicle-syntax-highlighting vscode-vehicle-syntax-highlighting Public

   VSCode Syntax Highlighting for Vehicle

   VCL