Skip to content

@UoYCS-plasma Programming Languages and Systems

Change the repository type filter

All

    Repositories list

    12 repositories

    • GP2

      Public
      The rule-based graph programming language GP 2
      C
      •
      GNU General Public License v3.0
      •11•66•3•0•Updated Jun 14, 2024Jun 14, 2024

    • LazySmallCheck2012

      Public
      Lazy SmallCheck with functional values and existentials!
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •2•4•6•1•Updated Jan 19, 2024Jan 19, 2024

    • DPO-Formalisation

      Public
      Isabelle
      •1•3•0•0•Updated May 8, 2023May 8, 2023

    • GP2-Interpreter

      Public
      Haskell
      •
      Other
      •0•1•0•0•Updated Feb 7, 2020Feb 7, 2020

    • GP2-Editor

      Public
      Elm
      •1•2•0•0•Updated Feb 7, 2020Feb 7, 2020

    • GP2-Visualiser

      Public
      HTML
      •
      Other
      •0•0•0•0•Updated Feb 7, 2020Feb 7, 2020

    • P-GP2

      Public
      A public repository for the probabilistic refinement of the graph programming language GP 2
      C
      •
      GNU General Public License v3.0
      •0•5•0•0•Updated Sep 1, 2019Sep 1, 2019

    • EGGP

      Public
      A public repository for Evolving Graphs by Graph Programming
      C
      •0•7•0•0•Updated Jun 21, 2018Jun 21, 2018

    • york-nextbus

      Public
      Command line tool to check the arrival time of the next bus
      Shell
      •0•1•0•0•Updated Sep 28, 2015Sep 28, 2015

    • FliteDeprest

      Public
      F-Lite Presto with Defunctionaliser
      Haskell
      •
      Other
      •1•0•2•0•Updated Mar 27, 2015Mar 27, 2015

    • fliteToCore

      Public
      This is a version of Flite (yet another!) that converts the AST to the Core used for our iterative compiler. This repo is to aid us in creating the "Canonical Flite".
      Haskell
      •0•0•0•0•Updated Sep 13, 2013Sep 13, 2013

    • flite-types

      Public
      Haskell
      •
      Other
      •0•0•0•0•Updated Sep 2, 2013Sep 2, 2013