1-day current streak·4-day longest streak
-
prusti-dev ★ PINNED ⑂
A static verifier for Rust, based on the Viper verification infrastructure.
Rust ★ 4 1d agoExplain → -
re-posel ★ PINNED
Posel Smrti / The Black Mirror (2003), reverse engineered
Rust ★ 5 11mo agoExplain → -
hxmw ★ PINNED
No description.
Haxe ★ 2 5y agoExplain → -
type-system-vm ★ PINNED
VM in the Rust type system.
Rust ★ 7 2mo agoExplain → -
ammer
Unified FFI for Haxe native extensions
Haxe ★ 120 2y agoExplain → -
pecan
Macro-based coroutines for Haxe
Haxe ★ 43 3y agoExplain → -
plumob
Simple toolchain for mobile development with Haxe
Haxe ★ 26 8y agoExplain → -
plustd
Haxe library for 2D gamedev and more
Haxe ★ 25 7y agoExplain → -
hx-objc-externs
Objective-C externs for Haxe
Haxe ★ 20 8y agoExplain → -
ammer-core
No description.
Haxe ★ 18 2y agoExplain → -
haxe-sys
Asynchronous system API
Haxe ★ 14 6y agoExplain → -
huxly
Haxe parser combinators
Haxe ★ 6 5y agoExplain → -
slug
Haxe port of npm slugify.
Haxe ★ 5 7y agoExplain → -
ludumdare43
No description.
Haxe ★ 4 7y agoExplain → -
docopt.hx
Haxe port of docopt
Haxe ★ 4 8y agoExplain → -
hx-bigint
Haxe port of BigInteger.js
Haxe ★ 3 7y agoExplain → -
jfxr-rs
Rust port of the jfxr sound effect generation tool/library.
Rust ★ 2 2y agoExplain → -
alakajam10
Alakajam! 10 entry ("H.M.S. Relentless Puzzler", theme: Ships)
Haxe ★ 2 5y agoExplain → -
ludumdare40
Ignorance is Bliss, my entry for Ludum Dare 40.
Haxe ★ 2 8y agoExplain → -
hashlink ⑂
A virtual machine for Haxe
C ★ 2 6y agoExplain → -
ludumdare46
Entry for Ludum Dare 46 (Keep it Alive)
Haxe ★ 2 6y agoExplain → -
ludumdare45
Ludum Dare 45 entry (Theme: Start with Nothing)
Haxe ★ 2 6y agoExplain → -
alakajam6
Alakajam! 6 entry ("Silicon vs Neuron", theme: Duel)
Haxe ★ 1 7y agoExplain → -
ludumdare41
My entry for Ludum Dare 41.
Haxe ★ 1 7y agoExplain → -
ludumdare47
No description.
Haxe ★ 1 5y agoExplain → -
shkit
A bunch of useful scripts for the (OS X) terminal.
Shell ★ 1 9y agoExplain → -
ldj-socials ⑂
Social links for LdDB
★ 0 2mo agoExplain → -
smallweb ⑂
Kagi Small Web
★ 0 3mo agoExplain → -
arewespecyet ⑂
Tracking the progress of Rust's formal specification efforts
★ 0 10mo agoExplain → -
f8-doc ⑂
f8 architecture documentation
★ 0 1y agoExplain → -
alakajam ⑂
Website powering the Alakajam! game making community
TypeScript ★ 0 1y agoExplain → -
alakajam13
Alakajam! 13 entry ("Korobo: Save the trees!", theme: Robots)
Haxe ★ 0 1y agoExplain → -
alakajam7
Alakajam! 7 entry ("Wrapunzel", theme: Tower)
Haxe ★ 0 6y agoExplain → -
alakajam2
Alakajam! 2 entry ("Where's the truth @?", theme: You can't see everything)
Haxe ★ 0 8y agoExplain → -
shuttle-explorer
No description.
TypeScript ★ 0 1y agoExplain → -
haxe-deps ⑂
A luarocks spec for the dependencies required for the Haxe Lua target
★ 0 4y agoExplain → -
shuttle ⑂
Shuttle is a library for testing concurrent Rust code
★ 0 1y agoExplain → -
code-golf ⑂
A game designed to let you show off your code-fu by solving problems in the least number of characters.
★ 0 2y agoExplain → -
duchess ⑂
Experiments with Java-Rust interop
★ 0 2y agoExplain → -
verifythis.github.io ⑂
Website for VerifyThis 2020
★ 0 3y agoExplain → -
content ⑂
The content behind MDN Web Docs
★ 0 3y agoExplain → -
funkin-resources ⑂
FRIDAY NIGHT FUNKIN' RESOURCES AND STUFF
★ 0 3y agoExplain → -
haxe ⑂
Haxe - The Cross-Platform Toolkit
Haxe ★ 0 3y agoExplain → -
haxe-evolution ⑂
Repository for maintaining proposal for changes to the Haxe programming language
★ 0 4y agoExplain → -
redok
Minimal manual generator
JavaScript ★ 0 5y agoExplain → -
prusti-assistant ⑂
VS Code extension to verify Rust programs with the Prusti verifier.
★ 0 5y agoExplain → -
tokio-rs-website ⑂
Website for the Tokio project
★ 0 5y agoExplain → -
CompCert ⑂
The CompCert formally-verified C compiler
★ 0 6y agoExplain → -
flixel ⑂
Free, cross-platform 2D game engine powered by Haxe and OpenFL
★ 0 6y agoExplain → -
hxcpp ⑂
Runtime files for c++ backend for haxe
C++ ★ 0 6y agoExplain → -
MWSE ⑂
Morrowind Script Extender v2
★ 0 6y agoExplain → -
ldstats ⑂
Stats for Ludum Dare
★ 0 6y agoExplain → -
hxgithub ⑂
No description.
Haxe ★ 0 7y agoExplain → -
hxb
Haxe binary AST
★ 0 6y agoExplain → -
ccj2019
Climate Change Jam 2019
Haxe ★ 0 6y agoExplain → -
plover-trainer
Trainer for Plover stenography typing.
Haxe ★ 0 7y agoExplain → -
neko ⑂
The Neko Virtual Machine
C ★ 0 6y agoExplain → -
dox ⑂
Haxe documentation generator.
Haxe ★ 0 7y agoExplain → -
haxe-markdown ⑂
A Markdown parser in Haxe.
Haxe ★ 0 7y agoExplain → -
utest ⑂
cross-platform unit testing system for Haxe
Haxe ★ 0 7y agoExplain → -
zulip-ctf-bot
No description.
Haxe ★ 0 7y agoExplain → -
ludumdare44
No description.
Haxe ★ 0 7y agoExplain → -
flint ⑂
The Flint Programming Language for Smart Contracts
Swift ★ 0 7y agoExplain → -
ludumdare42
My entry for LD 42 (Theme: Running out of Space)
Haxe ★ 0 7y agoExplain → -
ludumdare ⑂
Sources for the 'Jammer' family of sites: Ludum Dare, Jammer, and Jammer Bio
PHP ★ 0 2mo agoExplain → -
oreo44
??? ??? !? ??
JavaScript ★ 0 8y agoExplain → -
ludumdare39
My entry for Ludum Dare 39
Haxe ★ 0 9y agoExplain → -
ludumdare38
My entry for Ludum Dare 38
Haxe ★ 0 9y agoExplain →
No repos match these filters.