Moonad: a p2p academic journal, or a social network for code?
☆27Jan 6, 2023Updated 3 years ago
Alternatives and similar repositories for Moonad
Users that are interested in Moonad are comparing it to the libraries listed below
Sorting:
- Libp2p bindings for Python☆11Jan 26, 2026Updated last month
- 🦅 🎲 Roc library for number generation (and more!)☆10Feb 13, 2025Updated last year
- Blockchain-based security layer for the AUR☆15Mar 5, 2018Updated 7 years ago
- Soluções dos problems do adventofcode.com☆13Jan 8, 2021Updated 5 years ago
- Standard library for the Formality language☆18Mar 22, 2020Updated 5 years ago
- The Haskell implementation of the Milho programming language.☆29Jul 17, 2023Updated 2 years ago
- this is a repository for blooket hacks on my youtube channel, Dog-tp6be SUBSCIRBE!☆51May 18, 2024Updated last year
- Moonad: a Peer-to-Peer Operating System☆101Dec 7, 2019Updated 6 years ago
- An interactive fiction (text adventure) library in Haskell, inspired by Inform7.☆21Jan 31, 2026Updated last month
- Search Hoogle from Rofi☆27Apr 3, 2024Updated last year
- Specification of the Formality proof and programming language☆42Feb 5, 2023Updated 3 years ago
- SDL2 bindings for lean☆24Dec 27, 2025Updated 2 months ago
- "Hacks" for online blooket games. Does not require outside information (ie. url, gamepin, sign in information) blooket hacks☆13Jan 25, 2024Updated 2 years ago
- Best Blooket Hacks☆20Feb 10, 2023Updated 3 years ago
- Formality in itself☆20Nov 30, 2020Updated 5 years ago
- [outdated] A moddable MOBA in Formality☆96Jan 7, 2023Updated 3 years ago
- Free alternative of MegaHack v6-PRO☆10Jan 9, 2022Updated 4 years ago
- experimenting with unlifted classes via backpack☆37Aug 17, 2022Updated 3 years ago
- Julia code for an upper level undergraduate macroeconomics course.☆10May 18, 2022Updated 3 years ago
- libp2p Collaborative Notebook for Research☆38May 1, 2025Updated 10 months ago
- PyTorch-based radio-interferometric imaging reconstruction package with scalable Bayesian uncertainty quantification relying on data-driv…☆12Feb 17, 2025Updated last year
- This is a codebase for a website we are creating for a NGO in Botswana called BW Jobs for Graduates. We are helping them achieve their mi…☆12Aug 13, 2021Updated 4 years ago
- Publications related to Secure-Scuttlebutt and related technologies.☆15Jul 9, 2024Updated last year
- Stagehand is a TV show manager for Linux and Windows that automatically fetches episodes from Usenet☆12Oct 27, 2024Updated last year
- Bydelsfakta is a frontend application for Oslo municipality which visualises demographic statistics and data on various topics for the 15…☆10Updated this week
- ☆12Jun 24, 2022Updated 3 years ago
- Easy to use theme manager for Custom Tkinter☆14Jun 3, 2025Updated 9 months ago
- Kimai REST Client for Python☆11Jul 23, 2020Updated 5 years ago
- E-waste calculations for the European Union☆10Nov 23, 2017Updated 8 years ago
- The name "KnowledgeMap" tries to use the metaphor of a cartographic map. If we represent all the different areas of knowledge as a bidime…☆12Mar 29, 2016Updated 9 years ago
- A cleaned up Go version of TxtElite☆10Nov 14, 2022Updated 3 years ago
- ☆10Oct 7, 2020Updated 5 years ago
- jpa-array-converter-sample☆10Nov 15, 2014Updated 11 years ago
- Pprof serves via its HTTP server fprof profiling data in the format expected by the pprof visualization tools for Elixir.☆14Jan 10, 2023Updated 3 years ago
- Fortune cookie app for Flipper Zero☆16Nov 5, 2024Updated last year
- ☆11Jul 2, 2024Updated last year
- An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programs☆20Feb 22, 2026Updated last week
- Aplicativo para tornar as doações de sangue mais simples tanto para quem precisa do sangue quanto para o doador☆11Jun 21, 2020Updated 5 years ago
- BLE Interface for Reticulum Network☆27Jan 18, 2026Updated last month