Pinned Loading

1. sonica sonica Public

   Music playing daemon and clients, acting as a FOSS party music player alternative to Spotify playlists.

   Python 4

2. marka marka Public

   Document preparation system based on Pandoc Markdown that aims to replace LaTeX

   Crystal

3. rios rios Public

   Language for programming Arduino/Embedded Hardware

   Crystal 6

4. barion barion Public

   Fast compiled prompt for use in linux shells

   Crystal 1

5. maptogether maptogether Public

   Monorepo for the MapTogether project for improvement of OpenStreetMap through gamification

   Dart 1

6. semantac semantac Public

   Static analysis tool for working with Structural Operational Semantics.

   Haskell