The Good Data Movement manifesto.
☆14Nov 18, 2019Updated 6 years ago
Alternatives and similar repositories for manifesto
Users that are interested in manifesto are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆10Oct 26, 2016Updated 9 years ago
- ☆14Jul 6, 2023Updated 2 years ago
- The C4 Concurrent C Fuzzer☆15Nov 2, 2023Updated 2 years ago
- An LLVM pass to prove that an II works for the given loop for Vitis HLS☆11Aug 22, 2021Updated 4 years ago
- The rule-based graph programming language GP 2☆79Nov 25, 2025Updated 7 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Multilayer modelling of the human transcriptome and biological mechanisms of complex diseases and traits☆11Jun 2, 2021Updated 5 years ago
- Roll your own IRC bot (2019 version) https://wiki.haskell.org/Roll_your_own_IRC_bot☆16Apr 11, 2024Updated 2 years ago
- A multicore microprocessor test harness for measuring interference☆14Apr 16, 2020Updated 6 years ago
- ☆14Oct 26, 2023Updated 2 years ago
- Lambda calculus parser in Haskell☆14Dec 21, 2016Updated 9 years ago
- On the Effects of Quantisation on Model Uncertainty in Bayesian Neural Networks☆18Apr 8, 2024Updated 2 years ago
- A Foreign Function Interface (FFI) to cvc5 solver in Lean.☆25Jun 22, 2026Updated last week
- A modern Beamer theme you can use without installing dozens of CTAN packages.☆19Nov 15, 2024Updated last year
- A Flexible and Efficient Proof Checker for SMT Solvers☆31Updated this week
- 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.
- Solutions to the exercises from the 'Software Foundations' book by Benjamin Pierce et al.☆21May 4, 2014Updated 12 years ago
- Theory Exploration for Isabelle using HipSpec☆20Jun 7, 2024Updated 2 years ago
- Polyhedral High-Level Synthesis in MLIR☆35Mar 17, 2023Updated 3 years ago
- ☆25Jun 9, 2026Updated 2 weeks ago
- generative programming & verification☆34Jun 19, 2025Updated last year
- Ultra high-performance secp256k1 ECC engine | Python, Node.js, Rust, Go, C#, Swift, Java bindings | CUDA, Metal, OpenCL GPU | ECDSA, Schn…☆45Updated this week
- A simple implementation of syntax highlighting in a VS Code extention.☆23Jan 15, 2017Updated 9 years ago
- Swift package that houses commonly used functions, extensions, views, classes, etc.☆13Oct 25, 2025Updated 8 months ago
- Public repository for Claude Skills☆35Jun 13, 2026Updated 2 weeks 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.
- ☆11Jan 10, 2020Updated 6 years ago
- ☆11Aug 15, 2024Updated last year
- Tools for formatting large language model prompts.☆13Dec 19, 2023Updated 2 years ago
- Example project of HealthKit - Statistics data.☆13Jul 22, 2014Updated 11 years ago
- ☆18Apr 21, 2026Updated 2 months ago
- The smart, automatic Dark Mode toggle for macOS with Apple Silicon support☆10May 10, 2025Updated last year
- A Node.js library that enables communication with iOS devices using remote XPC services. It supports device lockdown, property-list (plis…☆28Jun 22, 2026Updated last week
- ☆27Jun 20, 2026Updated last week
- For syncing my . files across different machines and setting up a new computer☆13Mar 23, 2026Updated 3 months 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 boilerplate / utility wrapper for JXA (AppleScript JavaScript) scripts — providing common automation functions.☆20Aug 31, 2022Updated 3 years ago
- Palera1n basic install script☆13Dec 23, 2024Updated last year
- A sample app that demonstrates how to use CareKit's APIs☆13Jun 25, 2021Updated 5 years ago
- Sleep tracking app with HealthKit support.☆10Dec 24, 2017Updated 8 years ago
- An MCP server that provides Apple Health data via the Health Auto Export app for iOS☆51May 4, 2026Updated last month
- Spezi Module to Handle and Display User Interfaces for Chat-based Interactions☆11Apr 27, 2026Updated 2 months ago
- A Jailbreak Package Manager for Apple Devices (based on PurePKG)☆11Feb 25, 2025Updated last year