Movatterモバイル変換

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 69GPL-3.0 12 3 0 UpdatedOct 21, 2025
LazySmallCheck2012 Public
Lazy SmallCheck with functional values and existentials!
UoYCS-plasma/LazySmallCheck2012’s past year of commit activity
Haskell 4BSD-3-Clause 2 6 1 UpdatedJan 19, 2024
DPO-Formalisation Public
UoYCS-plasma/DPO-Formalisation’s past year of commit activity
Isabelle 3 1 0 0 UpdatedMay 8, 2023
GP2-Interpreter Public
UoYCS-plasma/GP2-Interpreter’s past year of commit activity
Haskell 10 0 0 UpdatedFeb 7, 2020
GP2-Editor Public
UoYCS-plasma/GP2-Editor’s past year of commit activity
Elm 2 1 0 0 UpdatedFeb 7, 2020
GP2-Visualiser Public
UoYCS-plasma/GP2-Visualiser’s past year of commit activity
HTML00 0 0 UpdatedFeb 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 5GPL-3.00 0 0 UpdatedSep 1, 2019
EGGP Public
A public repository for Evolving Graphs by Graph Programming
UoYCS-plasma/EGGP’s past year of commit activity
C 80 0 0 UpdatedJun 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 10 0 0 UpdatedSep 28, 2015
FliteDeprest Public
F-Lite Presto with Defunctionaliser
UoYCS-plasma/FliteDeprest’s past year of commit activity
Haskell0 1 2 0 UpdatedMar 27, 2015

Navigation Menu