Pinned Loading

1. Git aliases Git aliases

   1

   git config --global alias.compress "gc --prune=NOW --aggressive"

   2

   git config --global alias.fuck "reset --hard HEAD"

2. Introspection, the Ada way Introspection, the Ada way

   1

   with Ada.Strings.Fixed;

   2

   3

   package body Scope is

   4

   5

     use all type Ada.Strings.Direction;

3. mars_mpl mars_mpl Public

   Mars Polar Lander Simulation

   Ada 4

4. scripts scripts Public

   A collection of useful and not so useful scripts

   Shell