Stars
Sampling CPU and HEAP profiler for Java featuring AsyncGetCallTrace + perf_events
Eclipse plugin to automatically refactor Java code bases
🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types
Lean Library currently studying for a degree at Imperial College
unsigned support for Kotlin via boxed types and unsigned operators
A statically typed concatenative systems programming language.
⏱ Counting down to the next time the bell rings at school
LAHSHackClub / bell
Forked from nicolaschan/bellWeb application to synchronize a timer to indicate the end of the periods at school
Petition to open source Flash and Shockwave spec
Intellij Plugin for the D Programming Language
Demos and support files for pi3d (3D graphics python package for the raspberry pi)
Mirror of https://gitlab.com/Remmina/Remmina The GTK+ Remmina Remote Desktop Client
This repository used to be the user-facing mirror of the Sage source tree. As Sage development migrated on 2023-02-01 from https://trac.sagemath.org/ to our new repository on GitHub, https://github…