Archives Soup.io pages
☆15Jul 17, 2020Updated 5 years ago
Alternatives and similar repositories for schlabber
Users that are interested in schlabber are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This script saves your soup including enclosures and might kill your cat☆22Jul 13, 2020Updated 5 years ago
- A λ-calculus shell (because I love writing shells).☆12Jan 2, 2020Updated 6 years ago
- ☆11Oct 17, 2025Updated 7 months ago
- Constructive definition of real numbers implemented in agda.☆10Jul 31, 2016Updated 9 years ago
- Metadata agent for configuration of illumos guests on DigitalOcean☆16May 14, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Use omnios in github actions☆19May 21, 2026Updated last week
- A query engine for SPARQL-DL. Originally written by Derivo Systems (http://www.derivo.de/en/resources/sparql-dl-api.html)☆12Oct 12, 2020Updated 5 years ago
- ☆11Jul 8, 2020Updated 5 years ago
- TypeScript client for Idris IDE-mode.☆13Nov 6, 2022Updated 3 years ago
- ☆19Jun 8, 2021Updated 4 years ago
- Idris 2 bindings to various C libraries☆15Jun 28, 2021Updated 4 years ago
- A simple, vimscript only, command runner for sending commands from vim to the kitty terminal emulator.☆10Sep 29, 2022Updated 3 years ago
- Munin plugin for Tor, moved to https://github.com/munin-monitoring/contrib/blob/master/plugins/tor/tor_☆14May 1, 2020Updated 6 years ago
- Gnome Shell Extension To Add Force Quit button☆24May 16, 2026Updated 2 weeks 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.
- Python client for Nakadi☆11Jan 24, 2022Updated 4 years ago
- OCaml backend for Idris2☆20Oct 12, 2020Updated 5 years ago
- OpenBSD ports tree version scanner☆17Aug 3, 2021Updated 4 years ago
- automatically detect and classify notes from a piano sound recording, using NNs☆10Jul 28, 2019Updated 6 years ago
- AngularJS directive for Elm modules with interoperation via ports☆13Jan 17, 2019Updated 7 years ago
- A personal library, formalizing cohesive homotopy type theory in Agda.☆13Apr 30, 2019Updated 7 years ago
- AnonDNS: encrypting and anonymizing all your DNS requests with Tor☆19Sep 11, 2018Updated 7 years ago
- Manage your LDAP users and groups directly in Nextcloud☆13Mar 23, 2019Updated 7 years ago
- Generate Java code from an OWL ontology from within the Protege Desktop editing environment.☆16Nov 4, 2017Updated 8 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.
- Haskell geometry library☆17Mar 15, 2020Updated 6 years ago
- This package contains a library that can be used by network daemons to communicate with a packet filter via a daemon to enforce opening a…☆18Apr 9, 2026Updated last month
- Implementation of Martin-Löf Type Theory in Haskell☆16Feb 21, 2016Updated 10 years ago
- Category theory formalized in cubical agda☆21Feb 16, 2020Updated 6 years ago
- Lightning talk on how awe[k]some AWK is, in particular a review of The AWK Programming Language☆15May 28, 2018Updated 8 years ago
- A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.☆19May 1, 2021Updated 5 years ago
- Simply typed lambda calculus in cubical agda☆22Feb 22, 2020Updated 6 years ago
- Nextcloud app for easy bug reporting with prefilled issue templates☆15May 16, 2026Updated 2 weeks ago
- Ghost theme in the style of Edward Tufte's books and handouts☆10Aug 30, 2015Updated 10 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Mail log tailing and simple stats collecting application written in Go☆13May 18, 2022Updated 4 years ago
- ☆10Jun 18, 2019Updated 6 years ago
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆28Nov 12, 2025Updated 6 months ago
- LinguaLibre – Massive Open Audio Recording system☆13Jan 19, 2021Updated 5 years ago
- Extract region geometries (ISO 3166 countries and subdivisions) from OpenStreetMap in order to create a region dataset compatible with Op…☆16Nov 1, 2024Updated last year
- Comprehensive testing tool for Vim☆13Mar 4, 2026Updated 2 months ago
- Save your soup.io, literally☆11Feb 19, 2019Updated 7 years ago