Giters
4katie

4katie

Geek Repo

4

followers

0

following

1

stars

Location:London

Github PK Tool:Github PK Tool

4katie's repositories

HacktoberFest2019

Create your first pull request and get a free Tee from Github and DigitalOcean. 🎉

Language:PHPStargazers:1Issues:1Issues:0

4katie.github.io

Personal webpage(!)

Language:HTMLStargazers:0Issues:1Issues:0

cicero-template-library

Accord Project Template Library

Language:HTMLLicense:Apache-2.0Stargazers:0Issues:0Issues:0

DroNeS-Servers

Routing and Job Scheduling servers for the DroNeS simulation program

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

ergo

The Ergo Language for Smart Legal Contracts

Language:CoqLicense:Apache-2.0Stargazers:0Issues:1Issues:0

techdocs

Accord Project Template Specification and Technical Documentation

Language:CSSLicense:Apache-2.0Stargazers:0Issues:0Issues:0