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 7 years ago
- Core code used for Bangle.js and Espruino app loaders☆11Updated this week
- A plugin to add Windows eye-candy to Pidgin (jump lists, transfer progress, status emblems)☆11Aug 15, 2026Updated 3 weeks ago
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆26May 13, 2026Updated 3 months ago
- A collection of useful TLA+ operators☆21Feb 15, 2018Updated 8 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A (parametrized) Rust SAT solver originally based on MiniSat☆32May 5, 2026Updated 4 months ago
- Aggregation and visualisation of TIER scooter data☆10Jan 10, 2023Updated 3 years ago
- Testing and benchmarking tool for logic-related programs.☆32Jul 31, 2026Updated last month
- Display of OSM destination signs☆11Aug 2, 2026Updated last month
- [private joke] IRC bot for a private channel on freenode☆19May 28, 2026Updated 3 months ago
- Library for writing IRC bots in OCaml, a collection of plugins, and a dramatic robotic actor.☆31May 28, 2026Updated 3 months ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated 7 months ago
- Decodes and archives Guild Wars 2 STRS files☆25May 21, 2024Updated 2 years ago
- Chat protocol for secure decentralized communication over a mesh network over the internet.☆17Mar 10, 2020Updated 6 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Faithful reimplementation of Minisat 2.2 in OCaml.☆39Mar 26, 2023Updated 3 years ago
- mini-dalle in OCaml☆39Nov 6, 2022Updated 3 years ago
- An unofficial API for the Bosch eBike Connect web service, written for Node.js☆20Oct 9, 2024Updated last year
- A minimalistic and high-performance SAT solver☆26Mar 4, 2024Updated 2 years ago
- Analyzes and adjusts the volume of MP3 files☆12Apr 7, 2019Updated 7 years ago
- A list of fediverse accounts about geospatial topics☆11Feb 1, 2024Updated 2 years ago
- QGIS plugin to configure automatic vector field updates when creating or modifying features.☆10Nov 18, 2023Updated 2 years ago
- Free and open source software for easy self-hosted quadratic funding!☆13Nov 27, 2024Updated last year
- Transform coordinates from one coordinate system to another.☆19Nov 6, 2023Updated 2 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.
- ArcGIS tool to export ArcMap document layers to Quantum GIS project file☆16Jan 9, 2018Updated 8 years ago
- Tools to help porting QGIS Plugins from api version 2 to api version 3☆14Jul 17, 2019Updated 7 years ago
- Mirror of SourceForge VcXsrv Project☆13Aug 28, 2018Updated 8 years ago
- An UbuntuTouch app that makes the usage of waydroid more pleasent.☆35Jun 17, 2025Updated last year
- A simple radio with built-in stations from the website somafm.com☆15Apr 5, 2024Updated 2 years ago
- Tiny GDI stress test made with winforms (C# .NET5 & .NETFX4.6) + Win32 (C++)☆16Jan 28, 2021Updated 5 years ago
- A lightweight GTK front-end for man pages.☆11Jul 28, 2022Updated 4 years ago
- Mirror of original source code plus builds for all platforms.☆20Aug 15, 2019Updated 7 years ago
- A call to end Apache® Software Foundation's appropriation of Apache culture☆14Oct 2, 2025Updated 11 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- (Moved to Codeberg) A screensaver for Windows that can run Shadertoy shaders locally with little to no modification.☆17Aug 12, 2025Updated last year
- NAIP WMS xml files for qgis☆18Apr 14, 2023Updated 3 years ago
- show travel times for you travel time sensors☆29Aug 2, 2026Updated last month
- attribute_encrypted in Crystal for Lucky☆12Nov 19, 2025Updated 9 months ago
- ☆28Apr 30, 2024Updated 2 years ago
- Serverless chat demo☆12Aug 5, 2018Updated 8 years ago
- (1) Code mining + clickable code paths in vscode + system terminal: https://github.com/qualiu/vscode-msr (2) Visual Studio (2012~2022+) …☆14Dec 1, 2023Updated 2 years ago