Skip to content
@UCL-PPLV

UCL-CS PPLV

Programming Principles, Logic and Verification Group at University College London

Popular repositories Loading

  1. learnlib learnlib Public

    Forked from LearnLib/learnlib

    A free, open-source Java library for automata learning algorithms

    Java 2 1

  2. GCTransformations GCTransformations Public

    Certified implementation of a parametrized framework for concurrent garbage collectors

    Coq 1 1

  3. FAIC FAIC Public

    Function Analysis In Codebases

    C++ 1

  4. byzantine-reading byzantine-reading Public

    Reading group on Byzantine Distributed Systems

    1

  5. DistributedProtocols DistributedProtocols Public

    Experiments in implementing distributed protocols with Scala and Akka

    Scala

  6. inversion inversion Public

    Better support for proofs with indexed type families in Coq

    Coq

Repositories

Showing 10 of 17 repositories
  • nlambda Public Forked from szynwelski/nlambda

    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.

    UCL-PPLV/nlambda’s past year of commit activity
    Haskell 0 5 0 0 Updated Aug 21, 2024
  • automatalib Public Forked from LearnLib/automatalib

    A free, open-source Java library for modeling automata, graphs, and transition systems

    UCL-PPLV/automatalib’s past year of commit activity
    Java 0 Apache-2.0 34 0 0 Updated May 22, 2024
  • symbolicautomata Public Forked from lorisdanto/symbolicautomata

    Library for symbolic automata and symbolic visibly pushdown automata

    UCL-PPLV/symbolicautomata’s past year of commit activity
    Java 0 Apache-2.0 25 0 0 Updated Apr 18, 2024
  • calf-project-website Public
    UCL-PPLV/calf-project-website’s past year of commit activity
    HTML 0 0 0 0 Updated Mar 18, 2024
  • profoundnet.github.io Public

    ProFoundNet website

    UCL-PPLV/profoundnet.github.io’s past year of commit activity
    HTML 0 0 0 0 Updated Mar 14, 2024
  • learnlib Public Forked from LearnLib/learnlib

    A free, open-source Java library for automata learning algorithms

    UCL-PPLV/learnlib’s past year of commit activity
    Java 2 Apache-2.0 52 0 0 Updated Mar 11, 2024
  • polca Public Forked from cgvwzq/polca

    Tool for inferring cache replacement policies with automata learning. Uses LearnLib and Sketch.

    UCL-PPLV/polca’s past year of commit activity
    Java 0 Apache-2.0 3 0 0 Updated Aug 29, 2022
  • cachequery Public Forked from cgvwzq/cachequery

    HW interface for memory caches

    UCL-PPLV/cachequery’s past year of commit activity
    C 0 Apache-2.0 7 0 0 Updated Aug 26, 2022
  • FAIC Public

    Function Analysis In Codebases

    UCL-PPLV/FAIC’s past year of commit activity
    C++ 1 MIT 0 1 0 Updated Jun 21, 2020
  • byzantine-reading Public

    Reading group on Byzantine Distributed Systems

    UCL-PPLV/byzantine-reading’s past year of commit activity
    1 MIT 0 0 0 Updated Apr 27, 2018
View all repositories

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…