aurel300 Goto Github PK
Name: Aurel
Type: User
Bio: PhD student in Rust verification at ETH Zurich. Haxe enthusiast, game developer, CTF player and author.
Twitter: Aurel300
Blog: https://www.thenet.sk/
Name: Aurel
Type: User
Bio: PhD student in Rust verification at ETH Zurich. Haxe enthusiast, game developer, CTF player and author.
Twitter: Aurel300
Blog: https://www.thenet.sk/
Website powering the Alakajam! game making community
My entry for Alakajam 2.
Alakajam! 6 entry (Theme: Duel)
Unified FFI for Haxe native extensions
Climate Change Jam 2019
A game designed to let you show off your code-fu by solving problems in the least number of characters.
The CompCert formally-verified C compiler
The content behind MDN Web Docs
Haxe port of docopt
Haxe documentation generator.
Experiments with Java-Rust interop
The Flint Programming Language for Smart Contracts
Free, cross-platform 2D game engine powered by Haxe and OpenFL
FRIDAY NIGHT FUNKIN' RESOURCES AND STUFF
A virtual machine for Haxe
Haxe - The Cross-Platform Toolkit
A luarocks spec for the dependencies required for the Haxe Lua target
Repository for maintaining proposal for changes to the Haxe programming language
A Markdown parser in Haxe.
Asynchronous system API
Haxe parser combinators
Haxe port of BigInteger.js
Objective-C externs for Haxe
Haxe binary AST
Runtime files for c++ backend for haxe
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.