☆10Aug 16, 2024Updated last year
Alternatives and similar repositories for docker-sogo-from-sources
Users that are interested in docker-sogo-from-sources are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Dockerfile for SOGo image☆12Aug 16, 2024Updated last year
- RPM packaging for Rspamd in Fedora☆12Jan 21, 2024Updated 2 years ago
- Repository for tw.org site☆14Updated this week
- Mail new tasks to your TaskWarrior inbox☆17Apr 30, 2021Updated 4 years ago
- Easy to use offline chat archive☆19Mar 27, 2020Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- A friendlier interface to `socket`.☆14Apr 11, 2015Updated 10 years ago
- Control a Vim editor through python code☆23Dec 9, 2018Updated 7 years ago
- The Rumprun unikernel and toolchain for various platforms☆11Jul 2, 2024Updated last year
- Multi-node application platform for hybrid cloud to run your apps and data anywhere☆46Updated this week
- NethServer Cockpit UI and new Server Manager☆21Apr 13, 2023Updated 2 years ago
- ☆18Dec 15, 2016Updated 9 years ago
- Demo: OS sandboxing for unsafe code in Rust☆13Mar 10, 2015Updated 11 years ago
- SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants☆15Mar 15, 2024Updated 2 years ago
- Python3 library to manage remote machines and perform file operations over SSH☆20Mar 29, 2024Updated 2 years ago
- 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.
- A simple way to query constructors, like cases but slightly more concise☆11Mar 7, 2018Updated 8 years ago
- The HexagonE VM☆26Aug 23, 2022Updated 3 years ago
- Formalization in Coq of algorithms used in compilers for the Compiler.org project☆15Dec 22, 2018Updated 7 years ago
- A generic search engine daemon☆23Jul 13, 2018Updated 7 years ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- Extensible, Type Safe Error Handling in Haskell☆13Dec 22, 2020Updated 5 years ago
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- A command-line interface for Thesaurus.com☆16Jan 2, 2025Updated last year
- These testcases are generated by running afl-fuzz against libbitcoinconsensus.☆15May 22, 2015Updated 10 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Shared Cheat Sheet for Coq☆10Sep 8, 2016Updated 9 years ago
- Go library to write applications for an Amazon Kindle☆14Jan 2, 2021Updated 5 years ago
- Project controlling Philips Hue Bluetooth Color bulbs. Bash version.☆15Feb 17, 2020Updated 6 years ago
- An Actor Library for Rust☆20Jun 11, 2016Updated 9 years ago
- Sensor Measurement Lists (SenML) in Go☆16Mar 11, 2024Updated 2 years ago
- ☆13Apr 11, 2021Updated 4 years ago
- A tiny implementation of dependent types.☆11Oct 24, 2017Updated 8 years ago
- 🎲 A Kotlin DSL for probabilistic programming.☆12Apr 8, 2022Updated 3 years ago
- Android weather radio app using rtl_sdr support hardware☆10May 2, 2025Updated 10 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- A Pandoc filter that identifies Haskell code in Markdown, executes the code in GHCI and embeds the results in the returned Markdown.☆14Jul 11, 2019Updated 6 years ago
- Probabilistic music composition in Idris2☆16Dec 23, 2022Updated 3 years ago
- Docker web based enterprise backup software☆31May 24, 2024Updated last year
- Standalone demos whose binaries are restricted to 512 bytes (x86 boot sector programs).☆15Aug 12, 2013Updated 12 years ago
- Rofi interface for TaskWarrior☆21Sep 18, 2023Updated 2 years ago
- Elm course held for high school students.☆12Dec 5, 2015Updated 10 years ago
- XPS15-9560-Catalina, Q群：161385229☆10Nov 18, 2020Updated 5 years ago