Repository Index

Next generation API for .NET

• reflection
• raft
• raft-consensus
• raft-consensus-algorithm

Mixin is a trait/mixin and bytecode weaving framework for Java using ASM

• java
• mixins
• gradle
• mixin-framework

A Java library for capturing, crafting, and sending packets.

• capture-packets
• winpcap
• libpcap
• sending-packets

Monads and other dark magic for Elixir

• elixir
• type-class
• functor
• monad

Handcrafted Go bindings for libVLC and high-level media player interface

• libvlc
• go
• vlc
• bindings

Common combinators for Elixir

• pointfree
• curried-functions
• elixir
• functional-languages

Point Smelt at a Java mod jar and it starts the Rust port for Horizon: crates, traits and a build that runs. Unfinished parts are marked, so you know exactly what is left.

• fabric
• horizon
• minecraft
• neoforge

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

• raft
• verdi
• coq
• proof

A Starcraft 2 replay parser written in pure Ruby