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
- Multilayer modelling of the human transcriptome and biological mechanisms of complex diseases and traits☆11Jun 2, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Roll your own IRC bot (2019 version) https://wiki.haskell.org/Roll_your_own_IRC_bot☆16Apr 11, 2024Updated 2 years ago
- An Org Mode export backend for ConTeXt☆15Apr 16, 2022Updated 4 years ago
- Simple zettelkasten mode for emacs. Mirror of https://sr.ht/~ymherklotz/emacs-zettelkasten/☆61Mar 22, 2025Updated last year
- C90 to MIPS I Compiler done as a coursework for EE2-15☆16Jul 29, 2019Updated 6 years ago
- Ocaml Linear Engine for JavaScript Regexes, implementing the algorithms described in Linear Matching of JavaScript Regular Expressions at…☆25May 17, 2026Updated 3 weeks ago
- ☆14Apr 24, 2026Updated last month
- A multicore microprocessor test harness for measuring interference☆14Apr 16, 2020Updated 6 years ago
- Official repository for the paper "Fast Predictive Uncertainty for Classification with Bayesian Deep Networks". Accepted at UAI 2022. htt…☆13May 25, 2022Updated 4 years ago
- ☆14Oct 26, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Lambda calculus parser in Haskell☆14Dec 21, 2016Updated 9 years ago
- MIPS simulator in C++☆13Oct 2, 2019Updated 6 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.☆25Updated this week
- Repo for generating images which fool a trained CNN on MNIST☆12Jan 18, 2016Updated 10 years ago
- A repository for reproducing the results in Selection by Prediction paper☆16Nov 2, 2022Updated 3 years ago
- A Flexible and Efficient Proof Checker for SMT Solvers☆31Updated this week
- Solutions to the exercises from the 'Software Foundations' book by Benjamin Pierce et al.☆21May 4, 2014Updated 12 years ago
- Polyhedral High-Level Synthesis in MLIR☆35Mar 17, 2023Updated 3 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 Clash playground/starter kit, using Nix☆37Feb 8, 2019Updated 7 years ago
- Personal Website☆11Apr 23, 2026Updated last month
- ☆25Updated this week
- Declare all your project's metadata and what you can do with it in one single place.☆48Aug 23, 2023Updated 2 years ago
- ☆18Nov 13, 2019Updated 6 years ago
- Run embedding models locally in Swift using MLTensor.☆148May 31, 2026Updated last week
- Ultra high-performance secp256k1 ECC engine | Python, Node.js, Rust, Go, C#, Swift, Java bindings | CUDA, Metal, OpenCL GPU | ECDSA, Schn…☆41Updated 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 7 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.
- Construct your personal API☆18Dec 7, 2022Updated 3 years ago
- Core Data Generator (CDG for short) is a framework for generation (using Sourcery) of Core Data entities from plain structs/classes/enums…☆20Aug 3, 2021Updated 4 years ago
- MCP server for Mac — give AI direct control of Calendar, Mail, Notes, Reminders, Messages, and any Mac app via Computer Use, on-device. W…☆29May 13, 2026Updated 3 weeks ago
- Public repository for Claude Skills☆35Apr 19, 2026Updated last month
- ☆11Jan 10, 2020Updated 6 years ago
- 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