Skip to content
Avatar

Organizations

@miniboxing
Block or Report

Block or report Roldak

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.

Report abuse

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

Report abuse

Pinned

  1. Procedural generation of planets (or asteroids, etc.) using Unity.

    C# 28 3

  2. AGC Public

    Garbage collection for Ada

    Ada 8

  3. Dependz Public

    Small dependent type calculus written in Langkit

    Python

  4. IPW Public

    Interactive Proof Assistant for Welder

    Scala

  5. SFSL Public

    Statically typed Functionnal Scripting Language

    C++ 1

  6. Madarch Public

    Ray marching engine in Ada

    Ada 2

966 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Mon Wed Fri
Activity overview
Contributed to AdaCore/libadalang, Roldak/Madarch, AdaCore/langkit and 5 other repositories

Contribution activity

November 2022

137 contributions in private repositories Nov 1 – Nov 26

Seeing something unexpected? Take a look at the GitHub profile guide.