NillionNetwork / awesome-nillionView external linksLinks
Curated list of examples, tools, contracts, and projects built with Nillion
☆62Nov 21, 2024Updated last year
Alternatives and similar repositories for awesome-nillion
Users that are interested in awesome-nillion are comparing it to the libraries listed below
Sorting:
- Nillion documentation☆49Updated this week
- Coordination layer for the Nillion Network☆35Jan 22, 2026Updated 3 weeks ago
- Nada-Numpy is a Python library designed for algebraic operations on NumPy-like array objects on top of Nada DSL and Nillion Network.☆12Nov 21, 2024Updated last year
- Nada-AI is a Python library designed for ML/AI on top of Nada DSL and Nillion Network.☆22Nov 21, 2024Updated last year
- AIVM is a cutting-edge framework designed for privacy-preserving inference using advanced cryptographic protocols. With AIVM, you can dep…☆13Oct 26, 2024Updated last year
- OpenVPN Install Script☆13Dec 31, 2022Updated 3 years ago
- API server for interacting with decentralised identity functionality on the cheqd Network☆11Feb 5, 2026Updated last week
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- This is the public repo for Sentinel Group's Sentrix which is a Service on the Sentinel Service Chain and utilizes the Matrix Server to d…☆11Apr 30, 2018Updated 7 years ago
- Iot BeeHive Monitoring using Balena.io☆12Mar 7, 2022Updated 3 years ago
- Interact with standup reports and poll results directly from Claude or Cursor☆16May 19, 2025Updated 8 months ago
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- Command line pastebin for sharing terminal output.☆11Jul 29, 2021Updated 4 years ago
- Mixnet Messaging App☆11Oct 3, 2025Updated 4 months ago
- Multi-node monitor / manager for Pocket Network Validator nodes☆10Dec 9, 2020Updated 5 years ago
- A curated list of awesome .cursorrules files for enhancing your Cursor AI experience.☆12Nov 17, 2025Updated 2 months ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 7 years ago
- Gogs for the Sandstorm platform☆11Mar 14, 2018Updated 7 years ago
- UniFi 5 Controller for Raspberry Pi☆13Jan 31, 2018Updated 8 years ago
- openwrt management tool☆12Dec 6, 2018Updated 7 years ago
- ☆17Jan 19, 2024Updated 2 years ago
- A versatile Prometheus exporter and indexer, with an optional light weight dashboard☆10Oct 9, 2024Updated last year
- Using Forester, We are attempting to resurrect and grow the since deleted model theory wiki and give it a better foundation for future gr…☆16Jun 8, 2025Updated 8 months ago
- UnionType in Idris☆11Jun 24, 2018Updated 7 years ago
- The validator which allows you to participate in the Shardeum network and earn SHM☆14Sep 2, 2025Updated 5 months ago
- ☆13Updated this week
- Prometheus exporter for UNMS by Ubiquiti (https://unms.com/)☆11Dec 19, 2025Updated last month
- An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)☆12Dec 1, 2014Updated 11 years ago
- ☆11Aug 16, 2023Updated 2 years ago
- ☆14Sep 26, 2025Updated 4 months ago
- serverless app for sharing one-time secrets☆10Jan 6, 2023Updated 3 years ago
- ☆10Apr 17, 2023Updated 2 years ago
- Hakyll support for Agda literate files☆19Jul 20, 2021Updated 4 years ago
- An open-source wallet built on top of phoenixd.☆11Jun 7, 2025Updated 8 months ago
- Formalisation of the linear lambda calculus in Coq☆10Dec 2, 2018Updated 7 years ago
- Fork of Yubiclip for Static Passwords over NFC. Encrypt your static password to secure it from Drive-by reading attacks.☆12Oct 23, 2023Updated 2 years ago
- PLT Redex models of LVar calculi☆10Apr 6, 2015Updated 10 years ago
- ☆12May 22, 2016Updated 9 years ago
- Stratum Server for Handshake Mining☆11Apr 24, 2021Updated 4 years ago