Giters
Joe Eli McIlvain (jemc)

jemc

Geek Repo

165

followers

22

following

211

stars

Company:TheoremOne

Location:Cascadia

Github PK Tool:Github PK Tool

Organizations
edgenet
FORAGES
myco-lang
ponylang
rubinius
zeromq

Joe Eli McIlvain's starred repositories

KoreC

C externs for Kode's Kore framework

Language:C++Stargazers:3Issues:0Issues:0

pony-irc-demo

VERY basic IRC server and client demo in Pony

Language:PonyStargazers:2Issues:0Issues:0

cicada-platform

Home of the Cicada Direct Democracy and Dapp Platform

Stargazers:764Issues:0Issues:0

ponyfmt

autoformatting for pony code

Language:PonyStargazers:12Issues:0Issues:0

ponycheck

Property Based Testing for Ponylang 🐴 ✔️

Language:PonyLicense:BSD-2-ClauseStargazers:59Issues:0Issues:0

pony-watcher

Scripts to watch Pony projects and trigger rebuilds and runs.

Language:ShellLicense:MITStargazers:5Issues:0Issues:0

loom

A CRDT library with δ-CRDT support.

Language:ElixirLicense:NOASSERTIONStargazers:223Issues:0Issues:0

delta-enabled-crdts

Reference implementations of state-based CRDTs that offer deltas for all mutations.

Language:C++License:Apache-2.0Stargazers:317Issues:0Issues:0

tile38

Real-time Geospatial and Geofencing

Language:GoLicense:MITStargazers:9012Issues:0Issues:0

encore

The Encore compiler.

Language:C++License:BSD-3-ClauseStargazers:43Issues:0Issues:0

WhileyCompiler

The Whiley Compiler (WyC)

Language:JavaLicense:Apache-2.0Stargazers:216Issues:0Issues:0

FStar

A Proof-oriented Programming Language

Language:F*License:Apache-2.0Stargazers:2659Issues:0Issues:0

meangirls

Convergent Replicated Data Types

Language:RubyLicense:MITStargazers:651Issues:0Issues:0

concourse-cached-pipeline

Language:ShellLicense:UnlicenseStargazers:5Issues:0Issues:0

roshi

Roshi is a large-scale CRDT set implementation for timestamped events.

Language:GoLicense:BSD-2-ClauseStargazers:3140Issues:0Issues:0

tmate

Instant Terminal Sharing

Language:CLicense:NOASSERTIONStargazers:5560Issues:0Issues:0

tmate-ssh-server

tmate SSH server

Language:CLicense:NOASSERTIONStargazers:618Issues:0Issues:0

pony-playpen

A web interface for running Pony code

Language:JavaScriptLicense:MITStargazers:7Issues:0Issues:0

novitiate

A procedurally generated RPG inspired by Rogue and written in Pony.

Language:PonyLicense:GPL-3.0Stargazers:68Issues:0Issues:0

sha1collisiondetection

Library and command line tool to detect SHA-1 collision in a file

Language:CLicense:NOASSERTIONStargazers:1303Issues:0Issues:0

vyos

VyOS 2.0 development repository

Language:PythonLicense:GPL-2.0Stargazers:39Issues:0Issues:0

pony-peg

A pony PEG parser generator

Language:PythonLicense:AGPL-3.0Stargazers:1Issues:0Issues:0

worsim

Fast Actor World Simulator

Language:PonyLicense:Apache-2.0Stargazers:3Issues:0Issues:0

big-list-of-naughty-strings

The Big List of Naughty Strings is a list of strings which have a high probability of causing issues when used as user-input data.

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

lwan

Experimental, scalable, high performance HTTP server

Language:CLicense:GPL-2.0Stargazers:5928Issues:0Issues:0

espec

Elixir Behaviour Driven Development

Language:ElixirLicense:NOASSERTIONStargazers:805Issues:0Issues:0

eml

Library for writing and manipulating (html) markup in Elixir.

Language:ElixirLicense:NOASSERTIONStargazers:116Issues:0Issues:0

pony-terminfo

Snazzify your Pony text interfaces with a terminfo replacement 🐴

Language:PonyLicense:MITStargazers:5Issues:0Issues:0

SSO-23

Memory optimal Small String Optimization implementation for C++

Language:C++Stargazers:229Issues:0Issues:0

bullet

Simple, reliable, efficient streaming for Cowboy.

Language:ErlangLicense:ISCStargazers:302Issues:0Issues:0