Xcode integration for GoogleMock through XCTest
☆22Feb 24, 2023Updated 3 years ago
Alternatives and similar repositories for gmock-xcode
Users that are interested in gmock-xcode are comparing it to the libraries listed below
Sorting:
- DataConvertible is a support library for converting models to Data.☆16Jan 13, 2019Updated 7 years ago
- convert simple cryptol expressions into finite-state machines☆22Sep 15, 2017Updated 8 years ago
- screenshot-driven version tracking☆25Jun 1, 2022Updated 3 years ago
- A 2-4h workshop on the Tamarin protocol verifier.☆22Jun 12, 2025Updated 8 months ago
- A simple tool to explore prometheus exporter metrics☆27Nov 14, 2025Updated 3 months ago
- Making custom fonts in iOS play nice with Dynamic Type☆28Jan 25, 2019Updated 7 years ago
- ☆14Sep 28, 2015Updated 10 years ago
- my personal mcp server☆13Apr 23, 2025Updated 10 months ago
- Raybot is a robotic transport system designed for overhead rail-based delivery.☆14Feb 16, 2026Updated last week
- For building TWRP for Samsung Note 5 GSM ONLY☆10Sep 22, 2017Updated 8 years ago
- High-performance streaming JSON-to-BSON decoder in Go☆13Feb 15, 2022Updated 4 years ago
- ☆10Jan 29, 2021Updated 5 years ago
- Pins Go version when bumping dependencies☆12Nov 24, 2025Updated 3 months ago
- Intel RealSense SDK 2.0 addon for openFrameworks☆10Jul 16, 2019Updated 6 years ago
- ☆13Dec 17, 2019Updated 6 years ago
- A verified permissioned centralized Blockchain for Isabelle/HOL☆11Feb 3, 2018Updated 8 years ago
- ☆11Mar 30, 2021Updated 4 years ago
- go-command is a lightweight and easy to use library for creating command lines with commands and subcommands.☆13Dec 26, 2024Updated last year
- Resmon is a lightweight utility for local host monitoring that can be queried by tools such as nagios over http. One of the main design g…☆25Jun 13, 2017Updated 8 years ago
- An iOS swift app that detects objects using machine learning (CoreML, Vision)☆13Feb 26, 2023Updated 3 years ago
- Summoner's core SDK for building and deploying agents☆13Feb 18, 2026Updated last week
- Generates Theos projects based on a template.☆13Dec 2, 2025Updated 2 months ago
- ☆11Oct 24, 2018Updated 7 years ago
- The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.☆59Oct 10, 2025Updated 4 months ago
- Combinator methods for `std::AsyncIterator` using all the new `async` superpowers☆10Feb 15, 2024Updated 2 years ago
- A system for Origami Studio containing tools to simplifying and extend Shape Layers☆12Nov 1, 2021Updated 4 years ago
- Asynchronous C++ interoperability for Rust☆10Sep 21, 2021Updated 4 years ago
- Manage the open source licenses of your projects☆41Nov 19, 2019Updated 6 years ago
- Static generator for Go module vanity URLs.☆15Jan 20, 2025Updated last year
- ☆11Jan 28, 2026Updated last month
- ThRust is a software framework for thermodynamic and probabilistic computing.☆10Jun 14, 2023Updated 2 years ago
- Play the Early Math Prototypes embedded in an iPad app.☆10Jun 21, 2016Updated 9 years ago
- Exploration of the Piece Table data structure in Haskell☆10Mar 17, 2017Updated 8 years ago
- Use resistive sensors with a Raspberry Pi☆13Oct 8, 2019Updated 6 years ago
- Redesigned Cell Cydia☆11Apr 24, 2019Updated 6 years ago
- C++ impelementation of $N gesture Recognizer found here http://depts.washington.edu/aimgroup/proj/dollar/ndollar.html☆14Aug 20, 2012Updated 13 years ago
- open-source email platform purpose-built for sending investor updates☆12Jul 12, 2024Updated last year
- A thread-safe, generic in-memory key-value store for Go, suitable for single-machine applications.☆10Oct 25, 2024Updated last year
- AdAway is an open source ad blocker for Android using the hosts file.☆12Jun 14, 2014Updated 11 years ago