Threema protocol implementation in C++
☆20Nov 16, 2022Updated 3 years ago
Alternatives and similar repositories for ceema
Users that are interested in ceema are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Simple WebExtension for detecting ws connection☆12Aug 27, 2019Updated 6 years ago
- A collection of useful TLA+ operators☆21Feb 15, 2018Updated 8 years ago
- A plugin to add Windows eye-candy to Pidgin (jump lists, transfer progress, status emblems)☆11Aug 29, 2018Updated 7 years ago
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆26Mar 19, 2026Updated last month
- Fork of https://bugs.otr.im/plugins/pidgin-otr. This is a mirror of https://bugs.otr.im/otrv4/pidgin-otrng☆17Dec 1, 2019Updated 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. Zero configuration with optimized deployments.
- A (parametrized) Rust SAT solver originally based on MiniSat☆32Jan 20, 2025Updated last year
- Testing and benchmarking tool for logic-related programs.☆28Mar 19, 2026Updated last month
- Experimental IMAP gateway to notmuch☆13Nov 21, 2023Updated 2 years ago
- [private joke] IRC bot for a private channel on freenode☆17Mar 18, 2026Updated last month
- Firefox webextension showing number of tabs☆10Mar 2, 2022Updated 4 years ago
- A specification for human-readable, machine-managable, observable/serializable/cross-language errors and error handling.☆14Feb 22, 2023Updated 3 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated 2 months ago
- Reinebow, a SVGinOT/OpenType-SVG color font TTF & WOFF☆14Jun 6, 2016Updated 9 years ago
- Faithful reimplementation of Minisat 2.2 in OCaml.☆39Mar 26, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆13Apr 28, 2018Updated 7 years ago
- mini-dalle in OCaml☆39Nov 6, 2022Updated 3 years ago
- ☆24Dec 27, 2024Updated last year
- Decodes and archives Guild Wars 2 STRS files☆25May 21, 2024Updated last year
- ☆31Nov 5, 2025Updated 5 months ago
- (Grease|Violent)monkey Userscripts☆35Dec 5, 2025Updated 4 months ago
- CLI tool to interact with paperless-ngx remote API☆20Apr 8, 2026Updated last week
- A minimalistic and high-performance SAT solver☆26Mar 4, 2024Updated 2 years ago
- Working draft to re-create USGS TNM Style Template for use in QGIS☆10Mar 21, 2019Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A functional malfunctioning clock☆29Apr 1, 2025Updated last year
- Just fun with XAML ;)☆18Oct 10, 2021Updated 4 years ago
- Multicoloure, a SVGinOT/OpenType-SVG color font TTF & WOFF based on Multicolore Vector Typeface☆18Jun 7, 2016Updated 9 years ago
- LRS (linear reference system) plugin for QGIS☆13Mar 6, 2025Updated last year
- A js library to incorporate HN comments to any website☆34May 3, 2024Updated last year
- ArcGIS tool to export ArcMap document layers to Quantum GIS project file☆16Jan 9, 2018Updated 8 years ago
- WIC (Windows Image Component) sample application WIC Explorer, updated for Visual Studio 2022☆20Feb 10, 2026Updated 2 months ago
- Main code of the Shareish platform (backend & frontend)☆14Apr 10, 2026Updated last week
- Gw2Browser allows you to browse through the contents of the Guild Wars 2 .dat file.☆69Sep 26, 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.
- Personal events on GitHub. via api.github.com/users/{name}/events☆122Aug 14, 2025Updated 8 months ago
- 📚 Golang bindings for Telegram API☆17Mar 15, 2022Updated 4 years ago
- PlantBuddies is a tool to help you find companion plants, fast and simple.☆23Mar 4, 2023Updated 3 years ago
- NAIP WMS xml files for qgis☆18Apr 14, 2023Updated 3 years ago
- Open Forms is a simple, local-first form collection app for GNOME. It is designed for situations where setting up online forms is impract…☆35Mar 8, 2026Updated last month
- attribute_encrypted in Crystal for Lucky☆12Nov 19, 2025Updated 5 months ago
- Plugin to generate a three light exposure hillshade (shaded relief by combining three light exposures)☆17Sep 29, 2023Updated 2 years ago