RaspberryPi / CustomPiOS distro that run Pleroma out of the box
☆37Feb 9, 2025Updated last year
Alternatives and similar repositories for PleromaPi
Users that are interested in PleromaPi are comparing it to the libraries listed below
Sorting:
- Markov chain bots for Pleroma☆17Feb 4, 2023Updated 3 years ago
- Backend and Frontend for the voca main application with user-facing actions.☆14Nov 26, 2022Updated 3 years ago
- A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).☆16Jan 12, 2026Updated 2 months ago
- Linux fork of FreeBSD crunch☆17Jan 30, 2012Updated 14 years ago
- Read/Write YAML files with as little code as possible☆17Dec 16, 2024Updated last year
- Haskell bindings to Rust's regex library☆19Mar 24, 2025Updated 11 months ago
- Agda to C compiler☆10Sep 23, 2025Updated 5 months ago
- ☆13Jan 7, 2026Updated 2 months ago
- Tools for interfacing with the MetaShunt power profiling tool☆13Feb 3, 2026Updated last month
- All the code for Fosshost's new website.☆11May 23, 2023Updated 2 years ago
- A project to translate the Voynich Manuscript into English☆11Jun 30, 2023Updated 2 years ago
- Calcket package for YunoHost☆10Aug 6, 2024Updated last year
- Website sharing extension for Misskey☆11Apr 10, 2022Updated 3 years ago
- A daemon that automatically manages certain aspects of the Syncthing configuration.☆10Nov 1, 2024Updated last year
- Port of uCLinux for the Mackerel-68k☆12Oct 8, 2025Updated 5 months ago
- FreshRSS extension to display the full image of comics in the feed☆17Nov 4, 2024Updated last year
- Verified NbE via gluing in Agda☆11May 19, 2024Updated last year
- A handy guide to financial support for open source☆16Dec 22, 2016Updated 9 years ago
- ☆11Jan 21, 2026Updated 2 months ago
- Google Summer of Code projects☆13Nov 1, 2020Updated 5 years ago
- cpm-m3: CP/M-M3 is a port of CP/M-68K to the ARM Cortex-M3 by Roger Ivie☆15Mar 19, 2022Updated 4 years ago
- Meta-programming utilities for Agda.☆20Aug 5, 2025Updated 7 months ago
- A formalization of System Fω in Agda☆20Dec 23, 2025Updated 2 months ago
- Source for the vignette website.☆17Dec 14, 2024Updated last year
- A Dependently Timed Drum Machine Language☆11May 4, 2024Updated last year
- Session types framework with support of protocol pipelining.☆16Mar 13, 2026Updated last week
- An agda2hs-compatible library for well-scoped syntax☆11Nov 6, 2025Updated 4 months ago
- Simply-typed lambda calculus as a QIT in cubical Agda + normalization☆15Jan 23, 2024Updated 2 years ago
- 🌎 A interplanetary communication platform 🦦☆15Nov 26, 2023Updated 2 years ago
- Rand E Editor modified to compile on modern Linux☆12Feb 13, 2021Updated 5 years ago
- Experiments with a SwiftUI version of Hyperspace for macOS and iOS☆15May 16, 2022Updated 3 years ago
- 🧛🏻♂️ Dark theme for Funkwhale☆13Mar 13, 2022Updated 4 years ago
- Implementation of the G-CORE graph query language on Spark☆15Aug 25, 2021Updated 4 years ago
- A library for deadlock-free session-typed communication in Rust.☆50Feb 17, 2021Updated 5 years ago
- Dump the declarations of Haskell modules☆18Mar 4, 2026Updated 2 weeks ago
- RSS Newsfeed reader bot for Misskey☆17Feb 10, 2026Updated last month
- A typechecker for WebAssembly, written in Agda (WIP)☆17Feb 23, 2018Updated 8 years ago
- A minimal Misskey client☆18Nov 13, 2025Updated 4 months ago
- Verilator / Imgui sim for 3DO FPGA core attempt☆13Jan 29, 2023Updated 3 years ago