Pinned Loading

1. AGC AGC Public

   Garbage collection for Ada

   Ada 11

2. Dependz Dependz Public

   Small dependent type calculus written in Langkit

   Python

3. IPW IPW Public

   Interactive Proof Assistant for Welder

   Scala

4. Madarch Madarch Public

   Ray marching engine in Ada

   Ada 4

5. AdaCore/AdaSAT AdaCore/AdaSAT Public

   Ada 4 1

6. PlanetGeneration PlanetGeneration Public

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

   C# 28 3