Natural language tactics to teach mathematics using Lean 4

A Lean companion to Analysis I

A Lean 4 formalization of Displayed Categories

A project to map out the relations between different equational theories of Magmas.

Lean documentation authoring tool

Tool for data extraction and interacting with Lean programmatically.

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

Very spicy additions to the Java programming language.

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

NPM Code REView

Package verification for npm

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

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

High-level Object Oriented API for hyperledger-indy

tcp proxy to simulate connection problems

manage secrets for development and infrastructure deployment using Google Cloud Platform

Go Training Class Material :

Registrar DApp for the Ethereum Name Service

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

Use signal in weechat

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

A private messenger for Windows, macOS, and Linux.

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

Ready to use code examples from the Screeps tutorial

Face recognition with deep neural networks.

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

FUSE implementation in Java using Java Native Runtime (JNR)