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 8 months ago
- type-system, revised unification algorithm and runtime time representations☆13Dec 12, 2019Updated 6 years ago
- Constructive definition of real numbers implemented in agda.☆10Jul 31, 2016Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Documented version of a simple type-theoretic language: Mini-TT☆18May 5, 2019Updated 7 years ago
- Metadata agent for configuration of illumos guests on DigitalOcean☆16May 14, 2025Updated last year
- Use omnios in github actions☆19Jul 1, 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
- Remote control retroshare-nogui from your Android device☆35Sep 4, 2013Updated 12 years ago
- TypeScript client for Idris IDE-mode.☆13Nov 6, 2022Updated 3 years ago
- GPS Tracker device☆13Nov 8, 2021Updated 4 years ago
- After KernelUpgrade Loadable Modules☆13Mar 22, 2021Updated 5 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
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Dependently typed core calculus with erasure☆19Aug 31, 2021Updated 4 years ago
- Python client for Nakadi☆11Jan 24, 2022Updated 4 years ago
- Ansible role to install beehive https://github.com/muesli/beehive☆12Jun 30, 2017Updated 9 years ago
- OpenBSD ports tree version scanner☆17Aug 3, 2021Updated 4 years ago
- AngularJS directive for Elm modules with interoperation via ports☆13Jan 17, 2019Updated 7 years ago
- Canvas Tower Defense Game☆10May 17, 2022Updated 4 years ago
- Generate Java code from an OWL ontology from within the Protege Desktop editing environment.☆16Nov 4, 2017Updated 8 years ago
- Haskell geometry library☆17Mar 15, 2020Updated 6 years ago
- [ARCHIVED] Porting the HAMMER File System to Linux VFS☆23Dec 4, 2012Updated 13 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A theme for NextCloud 18.0.1☆10Sep 2, 2020Updated 5 years ago
- Visual Studio Code Tasks and Contexts extension☆11Apr 12, 2024Updated 2 years ago
- ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2☆25Dec 5, 2024Updated last year
- PDF document viewer Django app☆15May 7, 2026Updated 2 months 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 2 months ago
- Category theory formalized in cubical agda☆22Feb 16, 2020Updated 6 years ago
- A translator from Intel SSE intrinsics to RISCV-V Extension implementation☆27Apr 11, 2026Updated 2 months ago
- Node.js Hitachi HD44780 LCD driver☆55Sep 26, 2021Updated 4 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
- 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.
- Simply typed lambda calculus in cubical agda☆23Feb 22, 2020Updated 6 years ago
- It'is a agent module to check network sockets status with zabbix > 2.2.x on Linux☆16May 30, 2019Updated 7 years ago
- Send encryped emails to registered users☆17Jul 25, 2025Updated 11 months ago
- Nextcloud app for easy bug reporting with prefilled issue templates☆15May 16, 2026Updated last month
- Ghost theme in the style of Edward Tufte's books and handouts☆10Aug 30, 2015Updated 10 years ago
- Monitoring plugin to check the status of nextcloud security scan for a given URL☆19Sep 9, 2022Updated 3 years ago
- Polizeiliche Todesschüsse ab 1976☆12Updated this week