Location-based techno with Sonic Pi and gpsd
☆14Jun 12, 2024Updated 2 years ago
Alternatives and similar repositories for world-o-techno
Users that are interested in world-o-techno are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Symbolic logic expressions☆16Jul 1, 2020Updated 6 years ago
- Verified decision procedures for modal logics in Lean☆13Jun 13, 2020Updated 6 years ago
- client/library/framework for the Scuttlebut.nz (SSB) network☆13Oct 3, 2017Updated 8 years ago
- krew-wasm offers a way to write and distribute kubectl plugins based on WebAssembly☆14Apr 15, 2024Updated 2 years ago
- Example on how to integrate Haskell and C++ library.☆13Apr 18, 2015Updated 11 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Refuting Jian-Gang Tang's AI-generated crackpot paper "A Homological Proof of P ≠ NP: Computational Topology via Categorical Framework"☆18Oct 28, 2025Updated 10 months ago
- Home Assistant config for my home.☆22Sep 7, 2018Updated 8 years ago
- Hakyll wrapper for the Elm (http://elm-lang.org) compiler☆15Sep 2, 2014Updated 12 years ago
- Maildir synchronization tool☆20Jun 30, 2021Updated 5 years ago
- Repository containing materials for Esther Seyffarth's presentation at code.talks 2019: "20 Terrible Ways to Reverse a String"☆14Oct 25, 2019Updated 6 years ago
- A General Multi-agent Epistemic Planner Based on Higher-order Belief Change☆11Feb 20, 2025Updated last year
- Python interface to Loupedeck Live☆14Mar 28, 2026Updated 5 months ago
- Terminal-based painting app☆11Sep 13, 2024Updated last year
- ☆17Jan 4, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Start of a CM12 port for the Fairphone 2☆12Jan 12, 2016Updated 10 years ago
- Send reminders to requested reviewers of a pull request☆10Updated this week
- simple lightweight Linux cron daemon☆11Nov 1, 2016Updated 9 years ago
- ☆13Jun 11, 2014Updated 12 years ago
- automatic screen rotation on a Lenovo X1 Yoga☆14Feb 6, 2019Updated 7 years ago
- best GNOME screenshot script☆13Jul 1, 2023Updated 3 years ago
- ☆14Jun 17, 2022Updated 4 years ago
- Publications related to Secure-Scuttlebutt and related technologies.☆15Jul 9, 2024Updated 2 years ago
- Restic implementation in Python☆16Sep 3, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of…☆21Aug 31, 2026Updated last week
- Client API for Dat pinning services☆14Apr 2, 2019Updated 7 years ago
- ☆20Aug 15, 2025Updated last year
- A LateX template for writing ERC (European Research Counsil) grants☆17Oct 11, 2024Updated last year
- A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)☆27Aug 1, 2026Updated last month
- scuttlebot plugin for indexing all link mentions of messages☆10Aug 28, 2020Updated 6 years ago
- Fully sync two secure-scuttlebutt databases over a duplex stream.☆15Jun 13, 2018Updated 8 years ago
- Raw RPC layer for Hyperspace☆16Apr 27, 2021Updated 5 years ago
- ☆16Aug 20, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A tiny Tetris written in Haskell.☆23Oct 11, 2016Updated 9 years ago
- ☆12Jun 15, 2020Updated 6 years ago
- ☆18Dec 25, 2016Updated 9 years ago
- PC 4k intro, ranked #2 at Evoke 2017.☆10Aug 25, 2017Updated 9 years ago
- Another high-level API for creating secondary leveldb indexes☆14Jul 17, 2020Updated 6 years ago
- A cleaned up Go version of TxtElite☆11Nov 14, 2022Updated 3 years ago
- 20% cooler hinged polygons.☆15Apr 13, 2019Updated 7 years ago