Skip to content

Instantly share code, notes, and snippets.

View sparre's full-sized avatar

Jacob Sparre Andersen sparre

View GitHub Profile
@sparre
sparre / tail.adb
Last active January 19, 2017 19:03 — forked from charlie5/gist:a3855c1ffdcd6cafce1ea87cb671b345
Reading records with Ada.Direct_IO
with Ada.Direct_IO;
with Ada.Text_IO; -- For demonstration purposes.
procedure Tail is
type Your_Record is String (1 .. 8);
package Record_IO is new Ada.Direct_IO (Element_Type => Your_Record);
Source : Record_IO.File_Type;
Value : Your_Record;
begin
with Ada.Text_IO;
with Crypto.Types.Base64;
procedure Experiment is
package Boolean64 is new Crypto.Types.Base64 (Boolean);
Some_Data : constant Crypto.Types.Bytes := (0, 12, 24, 48, 96, 192, 65, 65, 65);
use Ada.Text_IO;
@sparre
sparre / keybase.md
Created April 8, 2014 08:27
Keybase identity

Keybase proof

I hereby claim:

  • I am sparre on github.
  • I am sparre (https://keybase.io/sparre) on keybase.
  • I have a public key whose fingerprint is 78C7 952D 43FB A0C3 EF80 9356 2E98 C783 1096 2C90

To claim this, I am signing this object: