Aurel300
PhD student in Rust verification at ETH Zurich. Haxe enthusiast, game developer, CTF player and author.
Pinned Repositories
ammer
Unified FFI for Haxe native extensions
ammer-core
haxe-sys
Asynchronous system API
huxly
Haxe parser combinators
hx-objc-externs
Objective-C externs for Haxe
pecan
Macro-based coroutines for Haxe
plumob
Simple toolchain for mobile development with Haxe
plustd
Haxe library for 2D gamedev and more
slug
Haxe port of npm slugify.
empirectf
EmpireCTF – write-ups, capture the flag, cybersecurity
Aurel300's Repositories
Aurel300/plumob
Simple toolchain for mobile development with Haxe
Aurel300/plustd
Haxe library for 2D gamedev and more
Aurel300/hx-objc-externs
Objective-C externs for Haxe
Aurel300/haxe-sys
Asynchronous system API
Aurel300/slug
Haxe port of npm slugify.
Aurel300/docopt.hx
Haxe port of docopt
Aurel300/ludumdare43
Aurel300/hx-bigint
Haxe port of BigInteger.js
Aurel300/ludumdare40
Ignorance is Bliss, my entry for Ludum Dare 40.
Aurel300/alakajam6
Alakajam! 6 entry (Theme: Duel)
Aurel300/ludumdare41
My entry for Ludum Dare 41.
Aurel300/shkit
A bunch of useful scripts for the (OS X) terminal.
Aurel300/oreo44
??? ??? !? ??
Aurel300/alakajam
Website powering the Alakajam! game making community
Aurel300/alakajam2
My entry for Alakajam 2.
Aurel300/ccj2019
Climate Change Jam 2019
Aurel300/dox
Haxe documentation generator.
Aurel300/flint
The Flint Programming Language for Smart Contracts
Aurel300/haxe-markdown
A Markdown parser in Haxe.
Aurel300/hxb
Haxe binary AST
Aurel300/hxgithub
Aurel300/ludumdare
Sources for the 'Jammer' family of sites: Ludum Dare, Jammer, and Jammer Bio
Aurel300/ludumdare38
My entry for Ludum Dare 38
Aurel300/ludumdare39
My entry for Ludum Dare 39
Aurel300/ludumdare42
My entry for LD 42 (Theme: Running out of Space)
Aurel300/ludumdare44
Aurel300/neko
The Neko Virtual Machine
Aurel300/plover-trainer
Trainer for Plover stenography typing.
Aurel300/utest
cross-platform unit testing system for Haxe
Aurel300/zulip-ctf-bot