8000 superaxander (Alexander Stekelenburg) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View superaxander's full-sized avatar

Organizations

@utwente-fmt

Block or report superaxander

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

The VerCors verification toolset for verifying parallel and concurrent software

Scala 74 31 Updated May 9, 2025

The world’s fastest framework for building websites.

Go 80,621 7,825 Updated May 9, 2025

Minimal and very lightweight hugo theme.

SCSS 53 38 Updated Oct 14, 2024

FlatLaf - Swing Look and Feel (with Darcula/IntelliJ themes support)

Java 3,733 294 Updated Apr 30, 2025

A nice way to make teleporters between scenes in Unity without having to type goal location coordinates

C# 1 Updated Jun 18, 2019

A Minecraft mod about using Aura for unique mechanics

Java 49 40 Updated Apr 13, 2025

Survival Mode as it Should've Been

Java 571 252 Updated Apr 29, 2025

Prototype smart text editor

Scheme 1,063 30 Updated Mar 24, 2025

Exchange Transport rules to detect and enable response to phishing

413 60 Updated May 9, 2020

A unit of time defined in C++.

C++ 1,384 72 Updated Jun 30, 2018

♞ lichess.org: the forever free, adless and open source chess server ♞

Scala 16,622 2,395 Updated May 9, 2025
Java 1 Updated Jan 3, 2018
Java 186 59 Updated Apr 18, 2025

Hot Swap functionality to Gradle projects in Eclipse and IntelliJ

5 2 Updated Jun 30, 2016

A gradle modding setup with an example mod to be used for modding Rock Bottom

Java 2 1 Updated Jun 3, 2022

A Kotlin-based build system for the JVM.

Kotlin 434 56 Updated May 20, 2022

FizzBuzz Enterprise Edition is a no-nonsense implementation of FizzBuzz made by serious businessmen for serious business purposes.

Java 22,428 777 Updated Jul 15, 2024

Adds a bunch of pearls. What else did you expect?

Kotlin 1 Updated Nov 14, 2017

The API of the game Rock Bottom

Java 8 8 Updated Jun 6, 2022

Pure64 is a kernel/software loader for x86-64 systems.

Assembly 564 98 Updated May 6, 2025

Localization and issues for Super Circuit Maker

16 19 Updated Mar 14, 2017

The most popular HTML, CSS, and JavaScript framework for developing responsive, mobile first projects on the web.

MDX 172,283 79,081 Updated May 9, 2025

⛄ Possibly the smallest compiler ever

JavaScript 28,227 2,881 Updated Feb 19, 2024

MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems

C 20,313 8,161 Updated May 9, 2025

Cross-platform music production software

C++ 8,683 1,061 Updated May 5, 2025

Cross-Platform High Performance 2D/3D game engine for people like me who like to write code.

C++ 1,140 222 Updated Mar 21, 2020

Simple packager for adding jar mods without modifying the bloody jar

Java 5 Updated Jul 10, 2016

Minecraft mod that adds OpenTTD style signaling and more!

Java 17 14 Updated Dec 9, 2019

Rust Minecraft Client

Rust 270 16 Updated Oct 30, 2018
Next
0