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
Language:Haxe116 14 4515
ammer-core
Language:Haxe18 4 122
haxe-sys
Asynchronous system API
Language:Haxe15 8 02
huxly
Haxe parser combinators
Language:Haxe6 2 00
hx-objc-externs
Objective-C externs for Haxe
Language:Haxe19 2 12
pecan
Macro-based coroutines for Haxe
Language:Haxe43 7 168
plumob
Simple toolchain for mobile development with Haxe
Language:Haxe26 6 32
plustd
Haxe library for 2D gamedev and more
Language:Haxe26 3 00
slug
Haxe port of npm slugify.
Language:Haxe5 2 00
empirectf
EmpireCTF – write-ups, capture the flag, cybersecurity
Language:C++132 11 425

Aurel300's Repositories

Aurel300/ammer
Unified FFI for Haxe native extensions
Language:Haxe116 14 4515
Aurel300/pecan
Macro-based coroutines for Haxe
Language:Haxe43 7 168
Aurel300/ammer-core
Language:Haxe18 4 122
Aurel300/huxly
Haxe parser combinators
Language:Haxe6 2 00
Aurel300/alakajam10
Language:Haxe2 2 0
Aurel300/hashlink
A virtual machine for Haxe
Language:C2 3 0
Aurel300/ludumdare45
Ludum Dare 45 entry (Theme: Start with Nothing)
Language:Haxe2 3 01
Aurel300/ludumdare46
Entry for Ludum Dare 46 (Keep it Alive)
Language:Haxe2 2 01
Aurel300/hxmw
Language:Haxe1 2 0
Aurel300/jfxr-rs
Rust port of the jfxr sound effect generation tool/library.
Language:Rust1
Aurel300/ludumdare47
Language:Haxe1 3 0
Aurel300/prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
Language:Rust1 2 42
Aurel300/alakajam7
Language:Haxe2 0
Aurel300/code-golf
A game designed to let you show off your code-fu by solving problems in the least number of characters.
Aurel300/CompCert
The CompCert formally-verified C compiler
Language:Coq1 0
Aurel300/content
The content behind MDN Web Docs
Language:Markdown1 0
Aurel300/duchess
Experiments with Java-Rust interop
Language:Rust1 0
Aurel300/flixel
Free, cross-platform 2D game engine powered by Haxe and OpenFL
Aurel300/funkin-resources
FRIDAY NIGHT FUNKIN' RESOURCES AND STUFF
1 1
Aurel300/haxe
Haxe - The Cross-Platform Toolkit
Language:Haxe2 0
Aurel300/haxe-deps
A luarocks spec for the dependencies required for the Haxe Lua target
Language:Lua1 0
Aurel300/haxe-evolution
Repository for maintaining proposal for changes to the Haxe programming language
2 0
Aurel300/hxcpp
Runtime files for c++ backend for haxe
Language:C++2 0
Aurel300/ldstats
Stats for Ludum Dare
Language:JavaScript1 0
Aurel300/MWSE
Morrowind Script Extender v2
Language:C++1 0
Aurel300/prusti-assistant
VS Code extension to verify Rust programs with the Prusti verifier.
Language:TypeScript1 0
Aurel300/redok
Minimal manual generator
Language:JavaScript2 0
Aurel300/shuttle
Shuttle is a library for testing concurrent Rust code
Aurel300/tokio-rs-website
Website for the Tokio project
Language:TypeScript1 0
Aurel300/verifythis.github.io
Website for VerifyThis 2020