Skip to content

@LoAT-developers LoAT-developers

Change the repository type filter

All

    Repositories list

    10 repositories

    • arrays-eval

      Public
      HTML
      •0•0•0•0•Updated Feb 13, 2026Feb 13, 2026

    • LoAT

      Public
      Loop Acceleration Tool for Integer Programs
      C++
      •
      GNU General Public License v3.0
      •8•9•2•1•Updated Feb 12, 2026Feb 12, 2026

    • HornKlaus

      Public
      Java
      •
      GNU Lesser General Public License v3.0
      •1•0•0•0•Updated Jan 30, 2026Jan 30, 2026

    • LoAT-API-Example

      Public template
      C++
      •
      GNU General Public License v3.0
      •0•1•0•0•Updated Aug 16, 2025Aug 16, 2025

    • trl-eval

      Public
      0•0•0•0•Updated May 8, 2025May 8, 2025

    • abmc-eval

      Public
      0•0•0•0•Updated Jun 19, 2024Jun 19, 2024

    • ELINA

      Public
      ELINA: ETH LIbrary for Numerical Analysis
      C++
      •
      Other
      •60•0•0•0•Updated May 8, 2024May 8, 2024

    • crab

      Public
      A library for building abstract interpretation-based analyses
      C++
      •
      Apache License 2.0
      •33•0•0•0•Updated Apr 24, 2024Apr 24, 2024

    • adcl-evaluation

      Public
      1•0•0•0•Updated Jul 14, 2023Jul 14, 2023

    • adcl-nonterm-eval

      Public
      0•0•0•0•Updated May 20, 2023May 20, 2023