Aurea

A static verifier for Rust, based on the Viper verification infrastructure.

Posel Smrti / The Black Mirror (2003), reverse engineered

No description.

VM in the Rust type system.

Unified FFI for Haxe native extensions

Macro-based coroutines for Haxe

Simple toolchain for mobile development with Haxe

Haxe library for 2D gamedev and more

Objective-C externs for Haxe

No description.

Asynchronous system API

Haxe parser combinators

Haxe port of npm slugify.

No description.

Haxe port of docopt

Haxe port of BigInteger.js

Rust port of the jfxr sound effect generation tool/library.

Alakajam! 10 entry ("H.M.S. Relentless Puzzler", theme: Ships)

Ignorance is Bliss, my entry for Ludum Dare 40.

A virtual machine for Haxe

Entry for Ludum Dare 46 (Keep it Alive)

Ludum Dare 45 entry (Theme: Start with Nothing)

Alakajam! 6 entry ("Silicon vs Neuron", theme: Duel)

My entry for Ludum Dare 41.

No description.

A bunch of useful scripts for the (OS X) terminal.

Social links for LdDB

Kagi Small Web

Tracking the progress of Rust's formal specification efforts

f8 architecture documentation

Website powering the Alakajam! game making community

Alakajam! 13 entry ("Korobo: Save the trees!", theme: Robots)

Alakajam! 7 entry ("Wrapunzel", theme: Tower)

Alakajam! 2 entry ("Where's the truth @?", theme: You can't see everything)

No description.

A luarocks spec for the dependencies required for the Haxe Lua target

Shuttle is a library for testing concurrent Rust code

A game designed to let you show off your code-fu by solving problems in the least number of characters.

Experiments with Java-Rust interop

Website for VerifyThis 2020

The content behind MDN Web Docs

FRIDAY NIGHT FUNKIN' RESOURCES AND STUFF

Haxe - The Cross-Platform Toolkit

Repository for maintaining proposal for changes to the Haxe programming language

Minimal manual generator

VS Code extension to verify Rust programs with the Prusti verifier.

Website for the Tokio project

The CompCert formally-verified C compiler

Free, cross-platform 2D game engine powered by Haxe and OpenFL

Runtime files for c++ backend for haxe

Morrowind Script Extender v2

Stats for Ludum Dare

No description.

Haxe binary AST

Climate Change Jam 2019

Trainer for Plover stenography typing.

The Neko Virtual Machine

Haxe documentation generator.

A Markdown parser in Haxe.

cross-platform unit testing system for Haxe

No description.

No description.

The Flint Programming Language for Smart Contracts

My entry for LD 42 (Theme: Running out of Space)

Sources for the 'Jammer' family of sites: Ludum Dare, Jammer, and Jammer Bio

??? ??? !? ??

My entry for Ludum Dare 39

My entry for Ludum Dare 38