Stars
A web tool for converting BIP39 mnemonic codes
A genetic algorithm car evolver in HTML5 canvas.
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Qemu kernel for emulating Rpi on QEMU
Small, fast, modern HTTP server for Erlang/OTP.
Super cool video game, where you have to not fall onto the floor, which is hot lava.
Randy will tell you which season and episode of your favorite show to watch.
OmniGraffle stencils for Amazon Web Services
Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.
Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.
The official AWS SDK for Java 1.x (In Maintenance Mode, End-of-Life on 12/31/2025). The AWS SDK for Java 2.x is available here: https://github.com/aws/aws-sdk-java-v2/
AWS CloudFormation plugin for IntelliJ-based IDEs (IntelliJ IDEA, RubyMine, WebStorm, PhpStorm, PyCharm, AppCode, Android Studio, DataGrip, CLion)
A GHC-based Haskell to JavaScript compiler
An Java-based app to communicate with Amazon Alexa for devices such as the Amazon Echo
Actor-based concurrent object framework for Ruby