ramsay-t

IOGSheffield, UK

Pinned Repositories

Athena
EFSM learning with guard and update function inference
Language:Elixir1 4 00
Elgar
Erlang Genetic Algorithms Framework
Language:Erlang51
epagoge
Inductive Logic Programming for simple expressions including strings
Language:Elixir1 3 00
HVAC_Games
0 2 00
mu2
Erlang mutation testing tool
Language:Erlang165
ShefRobot
Wrapper classes for Java code to use Lego robots.
Language:Java31
skel
A Streaming Process-based Skeleton Library for Erlang
Language:Erlang4 3 00
Smother
Extended code coverage metrics for Erlang.
Language:Erlang36 10 119
Synapse
Interface and API to various state machine inference tools
Language:Erlang2 4 01

ramsay-t's Repositories

ramsay-t/Smother
Extended code coverage metrics for Erlang.
Language:Erlang36 10 119
ramsay-t/mu2
Erlang mutation testing tool
Language:Erlang165
ramsay-t/Elgar
Erlang Genetic Algorithms Framework
Language:Erlang51
ramsay-t/skel
A Streaming Process-based Skeleton Library for Erlang
Language:Erlang4 3 00
ramsay-t/ShefRobot
Wrapper classes for Java code to use Lego robots.
Language:Java31
ramsay-t/Synapse
Interface and API to various state machine inference tools
Language:Erlang2 4 01
ramsay-t/Athena
EFSM learning with guard and update function inference
Language:Elixir1 4 00
ramsay-t/epagoge
Inductive Logic Programming for simple expressions including strings
Language:Elixir1 3 00
ramsay-t/HVAC_Games
0 2 00
ramsay-t/IoTInternships
Summer 2020 University of Sheffield IoT Internships
Language:C++2 01
ramsay-t/marlowe-cardano
Marlowe smart contract language Cardano implementation
Language:Haskell1 0
ramsay-t/SalEFSMViewer
A Scala wrapper for running our EFSM models in SAL
Language:Scala3 0
ramsay-t/Santayana
Language:Elixir