☆15Jun 23, 2023Updated 2 years ago
Alternatives and similar repositories for the-witness-solver
Users that are interested in the-witness-solver are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Projects with plugin system implemented using WebAssembly☆17Jul 1, 2022Updated 3 years ago
- Sharded queue☆12Mar 3, 2026Updated 2 months ago
- 🧩 Experimental UI rendering framework for LCD/OLED displays.☆13Mar 31, 2026Updated last month
- ☆12Jan 8, 2022Updated 4 years ago
- ☆21May 6, 2018Updated 8 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A re-implementation of emcee in rust☆12Jun 15, 2019Updated 6 years ago
- ☆18Oct 20, 2021Updated 4 years ago
- ☆24Mar 19, 2018Updated 8 years ago
- Jenkins Azure Credentials plugin☆12Updated this week
- genetic inheritance + Conway's Game of Life.☆12Dec 22, 2014Updated 11 years ago
- failure + error-chain = 💖☆54Dec 13, 2025Updated 5 months ago
- Turn a font into a flow font☆12Apr 30, 2024Updated 2 years ago
- ☆10May 7, 2019Updated 7 years ago
- [Experiment] JNeT: japaric's network thingies☆28Nov 17, 2019Updated 6 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.
- Spectrum — Chrome extension☆19Dec 28, 2024Updated last year
- Default CSS Settings as Silent Sass Classes☆12Feb 9, 2016Updated 10 years ago
- Rust wrapper for the BlingFire tokenization library☆15Jun 23, 2020Updated 5 years ago
- A pretty, colorful theme for Obsidian☆47May 22, 2026Updated last week
- Ghostery is a browser extension for detecting and blocking web trackers, ads, widgets, etc.☆23Dec 30, 2010Updated 15 years ago
- A creative coding framework, mainly for the demoscene☆22Nov 27, 2025Updated 6 months ago
- ergonomic tide testing extension☆18Sep 25, 2022Updated 3 years ago
- Dockerfile for alpine linux with crystal that will allow you to compile static crystal binaries on any system☆12Oct 10, 2019Updated 6 years ago
- A macro for defining code examples☆12Aug 2, 2019Updated 6 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.
- Check for FIXME, TODO and other temporary developer notes.☆20Feb 8, 2023Updated 3 years ago
- Color scheme editor for Gedit☆15Nov 21, 2018Updated 7 years ago
- VCR for Crystal☆11May 4, 2021Updated 5 years ago
- Plover plugin for computer aided transcription (CAT)☆16Apr 27, 2026Updated last month
- experimental new design for nom parser combinators☆21Mar 30, 2019Updated 7 years ago
- HTTP auth for tide! Pretty Basic, if you'll Bearer with me☆26Oct 23, 2022Updated 3 years ago
- Metric, Imperial, and other measurement handling for Rust. Length, Temperature, Weight, and Volume☆20Mar 21, 2018Updated 8 years ago
- ☆33Dec 12, 2020Updated 5 years ago
- CLI tool to calculate beer brewing values for different things☆13Feb 7, 2022Updated 4 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.
- Parse Kindle My Clippings files as a Transform Stream☆12Apr 22, 2016Updated 10 years ago
- Erlang source code parser written in Rust☆10May 21, 2026Updated last week
- Custom graphics engine for LOVR.☆13Oct 16, 2024Updated last year
- Official website for Free and Open Source Software @ RIT MAGIC Center and FOSS academia☆10Jan 26, 2026Updated 4 months ago
- Migration tool for replacing await! macro with await syntax.☆40Jan 1, 2021Updated 5 years ago
- A DIY, IMU-based skateboard activity tracker☆30Aug 1, 2021Updated 4 years ago
- A fork of Lynn's context-menu-wiktionary.☆15Jan 17, 2024Updated 2 years ago