Skip to content

@UCL-PPLV UCL-CS PPLV

Change the repository type filter

All

    Repositories list

    17 repositories

    • nlambda

      Public
      Nλ is a simple functional programming language aimed at manipulating infinite, but first-order definable structures, such as the countably infinite clique graph or the set of all intervals with rational endpoints.
      Haskell
      •
      Other
      •5•0•0•0•Updated Oct 20, 2024Oct 20, 2024

    • automatalib

      Public
      A free, open-source Java library for modeling automata, graphs, and transition systems
      Java
      •
      Apache License 2.0
      •34•0•0•0•Updated May 22, 2024May 22, 2024

    • symbolicautomata

      Public
      Library for symbolic automata and symbolic visibly pushdown automata
      Java
      •
      Apache License 2.0
      •25•0•0•0•Updated Apr 18, 2024Apr 18, 2024

    • calf-project-website

      Public
      HTML
      •0•0•0•0•Updated Mar 18, 2024Mar 18, 2024

    • profoundnet.github.io

      Public
      ProFoundNet website
      HTML
      •0•0•0•0•Updated Mar 14, 2024Mar 14, 2024

    • learnlib

      Public
      A free, open-source Java library for automata learning algorithms
      Java
      •
      Apache License 2.0
      •54•3•0•0•Updated Mar 11, 2024Mar 11, 2024

    • polca

      Public
      Tool for inferring cache replacement policies with automata learning. Uses LearnLib and Sketch.
      Java
      •
      Apache License 2.0
      •3•0•0•0•Updated Aug 29, 2022Aug 29, 2022

    • cachequery

      Public
      HW interface for memory caches
      C
      •
      Apache License 2.0
      •7•0•0•0•Updated Aug 26, 2022Aug 26, 2022

    • FAIC

      Public
      Function Analysis In Codebases
      cppllvmclang
      C++
      •
      MIT License
      •0•1•1•0•Updated Jun 21, 2020Jun 21, 2020

    • byzantine-reading

      Public
      Reading group on Byzantine Distributed Systems
      MIT License
      •0•1•0•0•Updated Apr 27, 2018Apr 27, 2018

    • infer

      Public
      A static analyzer for Java, C and Objective-C
      OCaml
      •
      Other
      •2k•0•0•0•Updated Aug 18, 2017Aug 18, 2017

    • vamp-reading

      Public
      Reading Group meetings on Verification and Mechanised Proofs
      0•0•0•0•Updated Jul 6, 2017Jul 6, 2017

    • htt-synthesis

      Public
      Hoare Type Theory
      dependent-typestype-theorysynthesishoare-type-theory
      Coq
      •5•0•0•0•Updated Mar 28, 2017Mar 28, 2017

    • GCTransformations

      Public
      Certified implementation of a parametrized framework for concurrent garbage collectors
      coqconcurrencygarbage-collectionformalization
      Coq
      •1•1•0•0•Updated Dec 4, 2016Dec 4, 2016

    • relaxed-concurrency

      Public
      Reasoning about relaxed concurrent data structures and their clients.
      0•0•0•0•Updated Aug 25, 2016Aug 25, 2016

    • inversion

      Public
      Better support for proofs with indexed type families in Coq
      Coq
      •0•0•0•0•Updated Aug 10, 2016Aug 10, 2016

    • DistributedProtocols

      Public
      Experiments in implementing distributed protocols with Scala and Akka
      Scala
      •0•0•0•0•Updated Apr 22, 2016Apr 22, 2016