Skip to content
@vehicle-lang

vehicle-lang

Popular repositories Loading

  1. vehicle vehicle Public

    A toolkit for enforcing logical specifications on neural networks

    Haskell 83 7

  2. vehicle-formalisation vehicle-formalisation Public

    Formalisation of the Vehicle->Solver transformation

    Agda 8 1

  3. tutorial tutorial Public

    Jupyter Notebook 2 1

  4. onnxruntime-hs onnxruntime-hs Public archive

    Haskell

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

    C

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

    VSCode Syntax Highlighting for Vehicle

    VCL

Repositories

Showing 7 of 7 repositories
  • vehicle Public

    A toolkit for enforcing logical specifications on neural networks

    vehicle-lang/vehicle’s past year of commit activity
    Haskell 83 7 107 6 Updated Jan 13, 2025
  • tutorial Public
    vehicle-lang/tutorial’s past year of commit activity
    Jupyter Notebook 2 1 0 2 Updated Nov 25, 2024
  • vehicle-formalisation Public

    Formalisation of the Vehicle->Solver transformation

    vehicle-lang/vehicle-formalisation’s past year of commit activity
    Agda 8 1 2 0 Updated Dec 12, 2023
  • Marabou Public Forked from NeuralNetworkVerification/Marabou
    vehicle-lang/Marabou’s past year of commit activity
    C++ 0 93 0 0 Updated Sep 4, 2023
  • vscode-vehicle-syntax-highlighting Public

    VSCode Syntax Highlighting for Vehicle

    vehicle-lang/vscode-vehicle-syntax-highlighting’s past year of commit activity
    VCL 0 MIT 0 1 0 Updated Jun 27, 2023
  • onnxruntime-hs Public archive
    vehicle-lang/onnxruntime-hs’s past year of commit activity
    Haskell 0 0 2 0 Updated Sep 30, 2022
  • tree-sitter-vehicle Public archive
    vehicle-lang/tree-sitter-vehicle’s past year of commit activity
    C 0 0 0 0 Updated Jul 4, 2022

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…