Skip to content

@fifth-postulate Fifth Postulate

Change the repository type filter

All

    Repositories list

    112 repositories

    • alloy

      Public
      A workshop to introduce people to Alloy
      Alloy
      •
      Creative Commons Zero v1.0 Universal
      •0•0•6•0•Updated Nov 14, 2024Nov 14, 2024

    • gns-e3

      Public
      Notes for a short GURPS campaign
      Elm
      •
      MIT License
      •0•0•0•0•Updated Nov 9, 2024Nov 9, 2024

    • shearwater2subsurface

      Public
      This project fascilitates importing dives from a Shearwater Cloud export to Subsurface
      MIT License
      •0•0•0•0•Updated Oct 28, 2024Oct 28, 2024

    • fizzbuzz

      Public
      A thrilling tale of numerous FizzBuzz implementations and what to learn from them
      Kotlin
      •
      Creative Commons Zero v1.0 Universal
      •0•0•0•0•Updated Oct 11, 2024Oct 11, 2024

    • busy-beaver

      Public
      Determine the busy beaver problem
      Rust
      •
      MIT License
      •0•1•0•0•Updated Sep 18, 2024Sep 18, 2024

    • smorgasbord-of-paradigms

      Public
      Compendium material to the Smorgasbord of Paradigms workshop
      Makefile
      •
      Creative Commons Zero v1.0 Universal
      •0•0•0•0•Updated Aug 25, 2024Aug 25, 2024

    • parser-combinators

      Public
      Presentation and workshop about parser combinators
      Java
      •
      MIT License
      •0•0•4•0•Updated Aug 10, 2024Aug 10, 2024

    • peg-solitair

      Public
      Play peg solitair in your browser
      Elm
      •
      Creative Commons Zero v1.0 Universal
      •0•0•0•0•Updated Jun 10, 2024Jun 10, 2024

    • code-in-unison

      Public
      Presentation about Unison for Lambda Days 2024
      Makefile
      •
      MIT License
      •0•0•0•0•Updated May 27, 2024May 27, 2024

    • diveplan

      Public
      An guide helping you to form a diveplan
      Elm
      •
      MIT License
      •0•0•0•0•Updated Apr 25, 2024Apr 25, 2024

    • robo-factory

      Public
      Exploring the Robo Factory game with code.
      Prolog
      •
      Creative Commons Zero v1.0 Universal
      •0•0•0•0•Updated Apr 20, 2024Apr 20, 2024

    • code-kata-alliander

      Public
      Presentation accompanying the Alliander Code Kata
      Elm
      •
      MIT License
      •0•0•0•0•Updated Mar 25, 2024Mar 25, 2024

    • crochet-workshop

      Public
      Crochet your favorite language or tool
      Makefile
      •
      Creative Commons Zero v1.0 Universal
      •0•0•0•0•Updated Mar 14, 2024Mar 14, 2024

    • bgrs

      Public
      Project to explore the finer points of backgammon
      Elm
      •
      MIT License
      •0•0•0•0•Updated Jan 16, 2024Jan 16, 2024

    • circle-limit

      Public
      An hyperbolic plane exploration of Functional Geometry
      Elm
      •
      Creative Commons Zero v1.0 Universal
      •0•0•0•0•Updated Oct 19, 2023Oct 19, 2023

    • rao

      Public
      Independent verification of the classification of tilings by convex pentagons.
      Rust
      •
      MIT License
      •0•0•0•0•Updated Sep 29, 2023Sep 29, 2023

    • postscript-whisperer

      Public
      Material for a workshop on PostScript, a page description language
      adobepostscriptworkshop
      PostScript
      •
      MIT License
      •1•1•0•0•Updated Sep 28, 2023Sep 28, 2023

    • compass

      Public
      On the power of the compass
      Elm
      •
      MIT License
      •0•0•0•0•Updated Aug 10, 2023Aug 10, 2023

    • complex-farey

      Public
      A complex variant of the Farey sequence
      Rust
      •
      MIT License
      •0•0•0•0•Updated Aug 1, 2023Aug 1, 2023

    • sudoku-proof

      Public
      Proof of concept for a Sudoku solver that provides proof of how it progresses.
      Elm
      •
      MIT License
      •0•1•0•0•Updated Jul 24, 2023Jul 24, 2023

    • esche.rs

      Public
      Rust oriented workshop exploring functional geometry
      HTML
      •
      MIT License
      •0•8•4•0•Updated May 9, 2023May 9, 2023

    • nature-of-code

      Public
      Closing Keynote for Booster 2023
      Elm
      •
      MIT License
      •0•0•0•0•Updated Apr 4, 2023Apr 4, 2023

    • enneagram

      Public
      Sources for the symbol associated with enneagram of personality
      PostScript
      •
      MIT License
      •0•0•0•0•Updated Feb 22, 2023Feb 22, 2023

    • lunar-lockout

      Public
      A solver for lunar lockout.
      Rust
      •
      MIT License
      •0•0•0•0•Updated Dec 15, 2022Dec 15, 2022

    • mancala

      Public
      Mancala, in Rust
      Rust
      •
      MIT License
      •0•2•1•0•Updated Sep 15, 2022Sep 15, 2022

    • rsa-exposition

      Public
      A toy implementation of the RSA crypto-system.
      Elm
      •
      MIT License
      •0•1•0•0•Updated Aug 22, 2022Aug 22, 2022

    • turing-machine

      Public
      A simulation of a Turing Machine in Elm
      JavaScript
      •
      MIT License
      •0•0•0•0•Updated Jul 21, 2022Jul 21, 2022

    • fountain

      Public
      Controlling the beautiful fountain in the center square of Elst
      MIT License
      •0•0•0•0•Updated Jun 28, 2022Jun 28, 2022

    • boosterweb

      Public
      HTML
      •40•0•0•0•Updated Jan 31, 2022Jan 31, 2022

    • robin-the-entrepid-robot-explorer

      Public
      This is an exploration in parsing with `elm/parser`
      HTML
      •
      MIT License
      •0•0•0•0•Updated Dec 30, 2021Dec 30, 2021