Skip to content
@UoYCS-plasma

Programming Languages and Systems

Pinned Loading

  1. DPO-Formalisation DPO-Formalisation Public

    Isabelle 3 1

Repositories

Showing 10 of 12 repositories
  • GP2 Public

    The rule-based graph programming language GP 2

    UoYCS-plasma/GP2’s past year of commit activity
    C 66 GPL-3.0 11 3 0 Updated Jun 14, 2024
  • LazySmallCheck2012 Public

    Lazy SmallCheck with functional values and existentials!

    UoYCS-plasma/LazySmallCheck2012’s past year of commit activity
    Haskell 4 BSD-3-Clause 2 6 1 Updated Jan 19, 2024
  • DPO-Formalisation Public
    UoYCS-plasma/DPO-Formalisation’s past year of commit activity
    Isabelle 3 1 0 0 Updated May 8, 2023
  • GP2-Interpreter Public
    UoYCS-plasma/GP2-Interpreter’s past year of commit activity
    Haskell 1 0 0 0 Updated Feb 7, 2020
  • GP2-Editor Public
    UoYCS-plasma/GP2-Editor’s past year of commit activity
    Elm 2 1 0 0 Updated Feb 7, 2020
  • GP2-Visualiser Public
    UoYCS-plasma/GP2-Visualiser’s past year of commit activity
    HTML 0 0 0 0 Updated Feb 7, 2020
  • P-GP2 Public

    A public repository for the probabilistic refinement of the graph programming language GP 2

    UoYCS-plasma/P-GP2’s past year of commit activity
    C 5 GPL-3.0 0 0 0 Updated Sep 1, 2019
  • EGGP Public

    A public repository for Evolving Graphs by Graph Programming

    UoYCS-plasma/EGGP’s past year of commit activity
    C 7 0 0 0 Updated Jun 21, 2018
  • york-nextbus Public

    Command line tool to check the arrival time of the next bus

    UoYCS-plasma/york-nextbus’s past year of commit activity
    Shell 1 0 0 0 Updated Sep 28, 2015
  • FliteDeprest Public

    F-Lite Presto with Defunctionaliser

    UoYCS-plasma/FliteDeprest’s past year of commit activity
    Haskell 0 1 2 0 Updated Mar 27, 2015
View all repositories

Top languages

Loading…

Most used topics

Loading…