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:
- The C4 Concurrent C Fuzzer☆14Nov 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
- Katamaran is a semi-automated separation logic verifier for the Sail specification language. It works on an embedded version of Sail call…☆20Updated this week
- A suite of tools for Petri Nets☆13Oct 26, 2022Updated 3 years ago
- An Org Mode export backend for ConTeXt☆15Apr 16, 2022Updated 4 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.
- Simple zettelkasten mode for emacs. Mirror of https://sr.ht/~ymherklotz/emacs-zettelkasten/☆60Mar 22, 2025Updated last year
- C90 to MIPS I Compiler done as a coursework for EE2-15☆16Jul 29, 2019Updated 6 years ago
- Official repository for the paper "Fast Predictive Uncertainty for Classification with Bayesian Deep Networks". Accepted at UAI 2022. htt…☆12May 25, 2022Updated 3 years ago
- Ocaml Linear Engine for JavaScript Regexes, implementing the algorithms described in Linear Matching of JavaScript Regular Expressions at…☆23Apr 12, 2026Updated last week
- A multicore microprocessor test harness for measuring interference☆14Apr 16, 2020Updated 6 years ago
- C++ SystemC Implementation of a Systolic Array☆16May 15, 2020Updated 5 years ago
- This repository contains the hardware implementation for Static BFP convolution on FPGA☆10Oct 15, 2019Updated 6 years ago
- Mastermind game with two settings. You can play the game yourself via the console or have the Genetic Algorithm play it for you (guesses …☆17Oct 12, 2020Updated 5 years ago
- A modern Beamer theme you can use without installing dozens of CTAN packages.☆19Nov 15, 2024Updated last year
- 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.
- Theory Exploration for Isabelle using HipSpec☆20Jun 7, 2024Updated last year
- Automated low-cost part removal system for Creality printers☆13May 4, 2022Updated 3 years ago
- Polyhedral High-Level Synthesis in MLIR☆35Mar 17, 2023Updated 3 years ago
- Personal Website☆11Mar 31, 2026Updated 2 weeks ago
- Declare all your project's metadata and what you can do with it in one single place.☆47Aug 23, 2023Updated 2 years ago
- Projects to get started with Clash☆32Apr 2, 2026Updated 2 weeks ago
- Pannotia v0.9 is a suite of OpenCL graph applications☆24Sep 13, 2017Updated 8 years ago
- Swift package that houses commonly used functions, extensions, views, classes, etc.☆13Oct 25, 2025Updated 5 months ago
- Construct your personal API☆18Dec 7, 2022Updated 3 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- MCPB Bundle for connecting Claude Desktop to Macuse. Macuse is a macOS app that bridges AI assistants with native macOS functionality.☆25Mar 3, 2026Updated last month
- A new experience for agentic-coding Android and Apple apps☆22Mar 1, 2026Updated last month
- 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
- ☆17Oct 22, 2025Updated 5 months ago
- Rails API with authentication via OAuth using Doorkeeper, Omniauth, and a React Native iOS client.☆11Jul 3, 2018Updated 7 years ago
- Spatiotemporal Dynamics in Recurrent Spiking Neural Networks using Optimization-based Modelling for EEG signals☆16Mar 31, 2022Updated 4 years ago
- Codebase for our paper "URSABench: Comprehensive Benchmarking of Approximate Bayesian Inference Methods for Deep Neural Networks"☆19Aug 27, 2022Updated 3 years ago
- AppleScripts, services, and other utilities which make my life on macOS easier☆21Apr 6, 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.
- A Node.js library that enables communication with iOS devices using remote XPC services. It supports device lockdown, property-list (plis…☆24Apr 13, 2026Updated last week
- ☆25Updated this week
- For syncing my . files across different machines and setting up a new computer☆13Mar 23, 2026Updated 3 weeks ago
- A tiny server to run local inference on MLX model in the style of OpenAI☆13Jan 31, 2024Updated 2 years ago
- Palera1n basic install script☆12Dec 23, 2024Updated last year
- ☆13Apr 7, 2024Updated 2 years ago
- CardiacProfileR: An R package for extraction and visualisation of heart rate profiles from wearable fitness trackers☆12Jun 10, 2018Updated 7 years ago