Pinned Loading

1. obsi-tool obsi-tool Public

   obsi-tool is a command line tool chain, centered around the obsidian application.

   Rust 1

2. hectellian/formula-inter hectellian/formula-inter Public

   Interpreter for a specific grammar for the compilation course

   Rust 1 1

3. Runecairn-Compendium Runecairn-Compendium Public

   A web compendium for the Runecairn TTRPG

   Svelte

4. Petrinet_theorem_prover Petrinet_theorem_prover Public

   A rust library on petrinets

   Rust

5. modal-logic modal-logic Public

   A class study on modal logics and their use-cases

6. custom-service custom-service Public

   A collection of custom linux service