Archives Soup.io pages
☆15Jul 17, 2020Updated 6 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:
- A λ-calculus shell (because I love writing shells).☆12Jan 2, 2020Updated 6 years ago
- type-system, revised unification algorithm and runtime time representations☆13Dec 12, 2019Updated 6 years ago
- Documented version of a simple type-theoretic language: Mini-TT☆18May 5, 2019Updated 7 years ago
- ☆11Jul 8, 2020Updated 6 years ago
- 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
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Idris 2 bindings to various C libraries☆15Jun 28, 2021Updated 5 years ago
- GPS Tracker device☆13Nov 8, 2021Updated 4 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
- Wiki Repository for the Foundry VTT TDE/DSA5 System☆10Jun 27, 2026Updated last month
- OCaml backend for Idris2☆20Oct 12, 2020Updated 5 years ago
- Ansible role to install beehive https://github.com/muesli/beehive☆12Jun 30, 2017Updated 9 years ago
- Star GitHub repositories of your project's npm dependencies☆11Jun 28, 2017Updated 9 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
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A personal library, formalizing cohesive homotopy type theory in Agda.☆13Apr 30, 2019Updated 7 years ago
- ☆11Nov 13, 2023Updated 2 years ago
- Dependently typed core calculus with erasure☆19Aug 31, 2021Updated 4 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
- ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2☆25Dec 5, 2024Updated last year
- Category theory formalized in cubical agda☆22Feb 16, 2020Updated 6 years ago
- Implementation of Martin-Löf Type Theory in Haskell☆16Feb 21, 2016Updated 10 years ago
- Scripts for automated Zabbix server/proxy/agent configuration on various operating systems☆11Aug 6, 2022Updated 4 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.
- map with public transport disruptions in Germany☆19Mar 25, 2026Updated 4 months ago
- Wordpress-Theme for Websites of the Pirate Party☆36Nov 2, 2017Updated 8 years ago
- Simply typed lambda calculus in cubical agda☆23Feb 22, 2020Updated 6 years ago
- Generates a list of bower dependencies☆15Oct 5, 2020Updated 5 years ago
- Nextcloud app for easy bug reporting with prefilled issue templates☆15Aug 10, 2026Updated last week
- 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 8 years ago
- 💸 AI powered Spendenraid evaluation.☆16Mar 27, 2025Updated last year
- App for Nextcloud, that shows geotagged photos on a map☆12Oct 29, 2018Updated 7 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Lightning talk on how awe[k]some AWK is, in particular a review of The AWK Programming Language☆15May 28, 2018Updated 8 years ago
- Zabbix API Client written in Typescript for NodeJS and Browsers☆11Aug 28, 2019Updated 6 years ago
- A library for reactive data visualizations (Work in progress)☆15Jul 20, 2016Updated 10 years ago
- Comprehensive testing tool for Vim☆13Mar 4, 2026Updated 5 months ago
- αProlog☆18Jul 9, 2023Updated 3 years ago
- IoT-devices GGreg20_V3 ionizing radiation detector module driver library for Arduino☆11Jul 19, 2023Updated 3 years ago
- A B-Tree implementation in OCaml☆24Oct 24, 2016Updated 9 years ago