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:
- 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
- ☆11Jul 8, 2020Updated 5 years ago
- TypeScript client for Idris IDE-mode.☆13Nov 6, 2022Updated 3 years ago
- ☆19Jun 8, 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.
- Idris 2 bindings to various C libraries☆15Jun 28, 2021Updated 4 years ago
- GPS Tracker device☆13Nov 8, 2021Updated 4 years ago
- The BIRD routing daemon integration with UCI and LuCI☆11Jul 29, 2017Updated 8 years ago
- Dependently typed core calculus with erasure☆19Aug 31, 2021Updated 4 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
- A personal library, formalizing cohesive homotopy type theory in Agda.☆13Apr 30, 2019Updated 7 years ago
- AXFR2Route53.py is a local script that transfers DNS records from an upstream DNS server via AXFR as defined in RFC 5936 and submits entr…☆13Mar 2, 2018Updated 8 years ago
- Haskell geometry library☆17Mar 15, 2020Updated 6 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
- Displays an info screen with the next Wiener Linien public transport connections nearby.☆58May 27, 2026Updated 3 weeks ago
- A tool for analysing the posts that fall into a certain search pattern during the annual donation raid on the German imageboard pr0gram…☆13Apr 7, 2026Updated 2 months ago
- Implementation of Martin-Löf Type Theory in Haskell☆16Feb 21, 2016Updated 10 years ago
- The ultimate twofactor authentication app for Nextcloud☆11Apr 1, 2019Updated 7 years ago
- Visualisierung Kältekreislauf der Viessmann Wärmepumpe VitoCal 250 in ioBroker vis☆16May 10, 2026Updated last month
- Category theory formalized in cubical agda☆22Feb 16, 2020Updated 6 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
- Send encryped emails to registered users☆17Jul 25, 2025Updated 10 months 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.
- Nextcloud app for easy bug reporting with prefilled issue templates☆15May 16, 2026Updated last month
- Monitoring plugin to check the status of nextcloud security scan for a given URL☆19Sep 9, 2022Updated 3 years ago
- NodeJS bitcoin.de API☆10Jun 25, 2018Updated 7 years ago
- Mail log tailing and simple stats collecting application written in Go☆13May 18, 2022Updated 4 years ago
- A library for reactive data visualizations (Work in progress)☆15Jul 20, 2016Updated 9 years ago
- App for Nextcloud, that shows geotagged photos on a map☆11Oct 29, 2018Updated 7 years ago
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆28Nov 12, 2025Updated 7 months ago
- ☆10Jun 18, 2019Updated 7 years ago
- Scripts for automated Zabbix server/proxy/agent configuration on various operating systems☆10Aug 6, 2022Updated 3 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.
- αProlog☆18Jul 9, 2023Updated 2 years ago
- Libre Silicon Compiler☆22Apr 13, 2021Updated 5 years ago
- Komplexes Wordpress-Theme für GRÜNE Landesverbände.☆11Jun 30, 2020Updated 5 years ago
- A Q connection library for Python☆14Oct 30, 2014Updated 11 years ago
- jQuery Mobile based user interface☆17Jan 9, 2024Updated 2 years ago
- Advent Of Code (http://adventofcode.com/) solutions☆14Dec 12, 2025Updated 6 months ago
- Zabbix monitoring things☆15Oct 2, 2022Updated 3 years ago