Skip to content
@fifth-postulate

Fifth Postulate

Consultancy, training and public speaking

Popular repositories Loading

  1. julian julian Public

    Date and time library for Prolog

    Prolog 27 3

  2. functional-geometry-in-prolog functional-geometry-in-prolog Public

    Functional Geometry in Prolog

    Prolog 15

  3. esche.rs esche.rs Public

    Rust oriented workshop exploring functional geometry

    HTML 8

  4. fits-rs fits-rs Public

    FITS encoder and decoder in Rust

    Rust 5 3

  5. finding-the-planets finding-the-planets Public

    A workshop that allows one to discover exo-planets

    Java 4 1

  6. packing-puzzle packing-puzzle Public

    Create a solver for a packing puzzle

    Rust 3 1

Repositories

Showing 10 of 112 repositories
  • alloy Public

    A workshop to introduce people to Alloy

    fifth-postulate/alloy’s past year of commit activity
    CSS 0 CC0-1.0 0 6 0 Updated Dec 22, 2024
  • gns-e3 Public

    Notes for a short GURPS campaign

    fifth-postulate/gns-e3’s past year of commit activity
    Elm 0 MIT 0 0 0 Updated Nov 16, 2024
  • shearwater2subsurface Public

    This project fascilitates importing dives from a Shearwater Cloud export to Subsurface

    fifth-postulate/shearwater2subsurface’s past year of commit activity
    0 MIT 0 0 0 Updated Oct 28, 2024
  • fizzbuzz Public

    A thrilling tale of numerous FizzBuzz implementations and what to learn from them

    fifth-postulate/fizzbuzz’s past year of commit activity
    Kotlin 0 CC0-1.0 0 0 0 Updated Oct 11, 2024
  • busy-beaver Public

    Determine the busy beaver problem

    fifth-postulate/busy-beaver’s past year of commit activity
    Rust 1 MIT 0 0 0 Updated Sep 18, 2024
  • smorgasbord-of-paradigms Public

    Compendium material to the Smorgasbord of Paradigms workshop

    fifth-postulate/smorgasbord-of-paradigms’s past year of commit activity
    Makefile 0 CC0-1.0 0 0 0 Updated Aug 25, 2024
  • parser-combinators Public

    Presentation and workshop about parser combinators

    fifth-postulate/parser-combinators’s past year of commit activity
    Java 0 MIT 0 4 0 Updated Aug 10, 2024
  • peg-solitair Public

    Play peg solitair in your browser

    fifth-postulate/peg-solitair’s past year of commit activity
    Elm 0 CC0-1.0 0 0 0 Updated Jun 10, 2024
  • code-in-unison Public

    Presentation about Unison for Lambda Days 2024

    fifth-postulate/code-in-unison’s past year of commit activity
    Makefile 0 MIT 0 0 0 Updated May 27, 2024
  • diveplan Public

    An guide helping you to form a diveplan

    fifth-postulate/diveplan’s past year of commit activity
    Elm 0 MIT 0 0 0 Updated Apr 25, 2024

Top languages

Loading…

Most used topics

Loading…