pimotte

LeanDojo

Tool for data extraction and interacting with Lean programmatically.

Svelte-Theme-Selector

Blue-Catch-em-All-Randomizer-TAS

Let's see if we can build a TAS for a catch em all randomizer run

lombok

Very spicy additions to the Java programming language.

osia

Open Standard set of APIs for interoperability of identity management building blocks.

npm-crev

NPM Code REView

tbv

Package verification for npm

cargo-crev

A cryptographically verifiable code review system for the cargo (Rust) package manager.

embark

Framework for serverless Decentralized Applications using Ethereum, IPFS and other platforms

quindy

High-level Object Oriented API for hyperledger-indy

zazkia

tcp proxy to simulate connection problems

StudyBits

kiya

manage secrets for development and infrastructure deployment using Google Cloud Platform

gotraining

Go Training Class Material :

ens-registrar-dapp

Registrar DApp for the Ethereum Name Service

angular-truffle-box

Truffle Box for Angular is a quick-and-easy way to get your Dapp on the road with Truffle and Angular

signal-weechat

Use signal in weechat

signal-cli

signal-cli provides an unofficial commandline, JSON-RPC and dbus interface for the Signal messenger.

Signal-Desktop

A private messenger for Windows, macOS, and Linux.

screeps

Scripts for my Screeps MMO colonies (JS; ongoing).

tutorial-scripts

Ready to use code examples from the Screeps tutorial

openface

Face recognition with deep neural networks.

opentoonz

OpenToonz - An open-source full-featured 2D animation creation software

jnr-fuse

FUSE implementation in Java using Java Native Runtime (JNR)

core

:cloud: ownCloud web server core (Files, DAV, etc.)

toxcore

The future of online communications.

linux-dash

A beautiful web dashboard for Linux

Telegram

Telegram for Android source

overleaf

A web-based collaborative LaTeX editor

Raspberry-Pi-Heartbeat

Status webpage for Raspberry Pi