Gerard Tabone (gertab)

gertab

Geek Repo

Location:Malta

Home Page:gerardtabone.com

Github PK Tool:Github PK Tool

Gerard Tabone's repositories

ElixirST

Session Types in Elixir

Language:ElixirLicense:GPL-3.0Stargazers:45Issues:6Issues:0

cylinder-scripts

Cylinder Scripts for Cylinder tweak

Stargazers:0Issues:2Issues:0

elixir-ls

A frontend-independent IDE "smartness" server for Elixir. Implements the "Language Server Protocol" standard and provides debugger support via the "Debug Adapter Protocol"

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

ElixirFlightService

Session-typed flight service

Language:ElixirStargazers:0Issues:1Issues:0

ezproxy-db

Database of URLs from institutions using proxy servers, like EZproxy.

Language:CSSLicense:CC-BY-SA-4.0Stargazers:0Issues:0Issues:0
Language:HTMLStargazers:0Issues:1Issues:0

Grits

Type system and interpreter for intuitionistic session types written in Go

Language:GoLicense:GPL-3.0Stargazers:0Issues:0Issues:0

otp

Erlang/OTP

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

TallinjaBuses

Real-time Maltese buses info

Language:JavaScriptLicense:GPL-3.0Stargazers:0Issues:0Issues:0

TimePasscode

A tweak which sets the current passcode to unlock the device to the current time.

Language:LogosStargazers:0Issues:2Issues:0

TripleMark

Triple press the space bar to input a question mark

Language:LogosLicense:NOASSERTIONStargazers:0Issues:0Issues:0

Worley-Noise-GPU

A parallel implementation of the Worley Noise algorithm on GPU

Language:C++License:GPL-3.0Stargazers:0Issues:0Issues:0