Skip to content
View pirocks's full-sized avatar

Highlights

  • Pro

Block or report pirocks

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
Showing results

Sampling CPU and HEAP profiler for Java featuring AsyncGetCallTrace + perf_events

C++ 7,483 844 Updated Sep 30, 2024

A Kotlin web framework

Kotlin 970 57 Updated Aug 3, 2024

Eclipse plugin to automatically refactor Java code bases

Java 176 37 Updated Sep 30, 2024

🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types

Kotlin 520 21 Updated Aug 9, 2024

Philippe Sigaud's dranges

D 12 2 Updated Jun 9, 2012

Lean Library currently studying for a degree at Imperial College

Lean 228 22 Updated Jul 3, 2023

unsigned support for Kotlin via boxed types and unsigned operators

Kotlin 74 7 Updated Nov 28, 2023

The Snazzy D Compiler

D 248 55 Updated Oct 5, 2024

A statically typed concatenative systems programming language.

Haskell 1,095 39 Updated Apr 10, 2023

⏱ Counting down to the next time the bell rings at school

JavaScript 24 11 Updated Apr 25, 2024

Web application to synchronize a timer to indicate the end of the periods at school

JavaScript 1 Updated Oct 7, 2017

Petition to open source Flash and Shockwave spec

ActionScript 7,352 114 Updated Feb 24, 2021

500 Lines or Less

JavaScript 29,255 5,871 Updated Aug 19, 2023

A simple orbital simulation.

JavaScript 3 Updated Aug 9, 2017

Intellij Plugin for the D Programming Language

D 326 51 Updated Sep 26, 2024

messing around

Java 1 Updated Jun 3, 2016
Java 1 Updated Jan 20, 2019

Demos and support files for pi3d (3D graphics python package for the raspberry pi)

Python 71 33 Updated Nov 2, 2023

Mirror of https://gitlab.com/Remmina/Remmina The GTK+ Remmina Remote Desktop Client

C 2,209 588 Updated Oct 2, 2024

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…

Python 2,014 413 Updated Jan 29, 2023