Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]

Alpenglow: Global High-Performance Proof-of-Stake Blockchain with Erasure Coding

Open Python 3 API for making your own Smash Bros: Melee AI that works with Slippi Online

Imitation learning from slippi replays.

Convert slippi replay files for Super Smash Bros Melee to videos

ENet implementation in Erlang/OTP

Rust extensions for Slippi Dolphin

Realtime slp parsing library focused on speed and efficiency.

Enet bindings for Go using cgo.

🌈 React for interactive command-line apps

🕸️ An open-source internet routing measurement platform.

Elixir utilities for Advent of Code

An (unoffical) authenticator for slippi accounts.

The core of Membrane Framework, multimedia processing framework written in Elixir

Multi-platform Tray Indicator

Watch Slippi replays in the browser

A sample repo whose history illustrates refactoring a GenServer for testability

A companion for Mnesia and ETS

the official home of the Trickedex

🔀 An HTML library to display puzzle scrambles. No knowledge of Javascript required!

The Swiss Army Knife of Vector Graphics Scripting – Scriptographer ported to JavaScript and the browser, using HTML5 Canvas. Created by @lehni & @puckey

Node.js test runner that lets you develop with confidence 🚀

Elixir library for writing integration tests and browser automation

Connect your Phoenix and iOS applications through WebSockets!

Constantly updated lists of world countries and their associated alpha-2, alpha-3 and numeric country codes as defined by the ISO 3166 standard, available in CSV, JSON , PHP, SQL and XML formats, i…