Giters
Gerard Tabone (gertab)

gertab

Geek Repo

7

followers

27

following

36

stars

Location:Malta

Home Page:gerardtabone.com

Github PK Tool:Github PK Tool

Gerard Tabone's starred repositories

papers-we-love

Papers from the computer science community to read and discuss.

Language:ShellStargazers:88021Issues:3114Issues:243

hugo

The world’s fastest framework for building websites.

Language:GoLicense:Apache-2.0Stargazers:75797Issues:1070Issues:7420

awesome-elixir

A curated list of amazingly awesome Elixir and Erlang libraries, resources and shiny things. Updates:

Language:ElixirLicense:MITStargazers:12671Issues:387Issues:3730

nerves

Craft and deploy bulletproof embedded software in Elixir

Language:ElixirLicense:Apache-2.0Stargazers:2261Issues:60Issues:194

swift-book

The Swift Programming Language book

Language:MarkdownLicense:Apache-2.0Stargazers:1752Issues:136Issues:144

PyMuPDF-Utilities

Demos, examples and utilities using PyMuPDF

Language:Jupyter NotebookLicense:AGPL-3.0Stargazers:569Issues:9Issues:56

elixir-type_check

TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.

Language:ElixirLicense:MITStargazers:521Issues:10Issues:80

otp

đź“« Fault tolerant multicore programs with actors

Language:GleamLicense:Apache-2.0Stargazers:447Issues:14Issues:24

gradient

Gradient is a static typechecker for Elixir

Language:ElixirLicense:Apache-2.0Stargazers:437Issues:32Issues:95

ferrite

Session Type EDSL for Rust

Language:RustLicense:Apache-2.0Stargazers:100Issues:5Issues:1

selectrix

Static Typechecker for Elixir

Language:ElixirStargazers:85Issues:12Issues:34

awesome-beam-monitoring

Curated list of awesome BEAM monitoring libraries and resources

License:CC-BY-SA-4.0Stargazers:57Issues:7Issues:0

stargazer

A simulator for visualising the evolution of π-calculus terms

Language:HTMLStargazers:40Issues:5Issues:0

typelixir

Compile Elixir statically

Language:ElixirLicense:MITStargazers:35Issues:3Issues:0

sill

Language:OCamlStargazers:28Issues:7Issues:1

mpst_rust_github

A library for deadlock-free multiparty session-typed communication in Rust.

Language:RustLicense:Apache-2.0Stargazers:26Issues:5Issues:41

Nomos

This repository contains an implementation of Nomos, a programming language for smart contracts based on resource-aware session types.

Language:OCamlLicense:MITStargazers:23Issues:4Issues:1

FormatStylesDeepDive

Xcode Playground featuring FormatStyles

Language:SwiftStargazers:23Issues:0Issues:0

ezproxy-db

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

Language:CSSLicense:CC-BY-SA-4.0Stargazers:22Issues:6Issues:52

cgraphs

Deadlock freedom by type checking

Language:CoqLicense:NOASSERTIONStargazers:19Issues:5Issues:2

detecter

A runtime verification tool for Erlang systems

Language:ErlangLicense:GPL-3.0Stargazers:15Issues:3Issues:1

java-typestate-checker

JaTyC: a typestate checker for Java

Language:KotlinLicense:MITStargazers:15Issues:3Issues:0

mbcheck

Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"

Language:OCamlStargazers:14Issues:3Issues:4

heic

HEIC image decoder

Language:GoLicense:MITStargazers:10Issues:2Issues:4

stmonitor

A monitor synthesis tool for session types.

Language:ScalaLicense:BSD-2-ClauseStargazers:5Issues:4Issues:0

erlang-concurrency-litmus-tests

A repository of "litmus" tests showing the interaction between Erlang's built-in operations.

Language:ErlangLicense:GPL-3.0Stargazers:4Issues:4Issues:1

ST30_Benchmark

A set of benchmark to compare (multiparty) session types

Language:TeXStargazers:3Issues:1Issues:0

GentleAdventure

A Gentle Adventure Mechanising Message Passing Concurrency Systems

Language:CoqLicense:MITStargazers:3Issues:3Issues:0

Erlang-Twitter

Multicore Twitter implementation

Language:ErlangStargazers:3Issues:0Issues:0

SILL-Idris

An Implementaiton of substructrual session types in Idris

Language:IdrisStargazers:2Issues:0Issues:0