Repositories list

• vehicle

  Public
  A toolkit for enforcing logical specifications on neural networks

  haskellneural-networkverification+ 2specificationagda

  Haskell

  •

  Other

  •15•121•103•8•Updated Feb 7, 2026Feb 7, 2026

• tutorial

  Public
  Jupyter Notebook

  •6•3•0•1•Updated Jan 5, 2026Jan 5, 2026

• vehicle-specification-editor

  Public
  This is a GUI-based interface that offers an intuitive working environment for the Vehicle Specification System.

  Python

  •

  MIT License

  •0•0•19•0•Updated Dec 13, 2025Dec 13, 2025

• hs-onnxruntime

  Public
  Haskell

  •2•3•1•1•Updated Aug 24, 2025Aug 24, 2025

• vscode-vehicle-syntax-highlighting

  Public
  VSCode Syntax Highlighting for Vehicle

  VCL

  •

  MIT License

  •0•0•1•0•Updated Jul 25, 2025Jul 25, 2025

• vehicle-formalisation

  Public
  Formalisation of the Vehicle->Solver transformation

  Agda

  •1•11•2•0•Updated Dec 12, 2023Dec 12, 2023

• tree-sitter-vehicle

  Public archive
  C

  •0•0•0•0•Updated Jul 4, 2022Jul 4, 2022