☆13Sep 5, 2020Updated 6 years ago
Alternatives and similar repositories for soong_verification
Users that are interested in soong_verification are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures☆13Oct 30, 2023Updated 2 years ago
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Oct 30, 2023Updated 2 years ago
- Demostration of FFI from Agda -> Haskell -> C in one project☆12Apr 15, 2013Updated 13 years ago
- Convert any Musescore link into a printable PDF☆23Jun 29, 2024Updated 2 years ago
- A TikZ library of wiring diagrams☆22Feb 19, 2019Updated 7 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.
- ACSets: Algebraic databases as in-memory data structures☆37Oct 3, 2026Updated 2 weeks ago
- A rosetta stone for metaprogramming in Coq, with different examples of tactics, plugins, etc implemented in different metaprogramming lan…☆17Feb 7, 2024Updated 2 years ago
- A partial implementation of Protocol Buffers in Idris☆32Aug 12, 2017Updated 9 years ago
- Easy file organisation, free from the Mac App Store☆16May 25, 2017Updated 9 years ago
- CLAHE implemented in python TF ops☆26Sep 8, 2026Updated last month
- ☆22Dec 24, 2023Updated 2 years ago
- Machine Learning From Scratch☆31Oct 10, 2023Updated 3 years ago
- ☆15Apr 12, 2018Updated 8 years ago
- Converts Cue types to TypeScript types and vice-versa.☆15Sep 6, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- An FFI-friendly null-terminated byte string☆21Jan 20, 2022Updated 4 years ago
- Perl 5 distribution Zydeco; see homepage for downloads and documentation.☆13Oct 23, 2022Updated 3 years ago
- a general blog about my projects, or anything☆30Jul 18, 2025Updated last year
- 🔬 BPF Compiler Collection (BCC) frontend for Node.js☆21Mar 5, 2023Updated 3 years ago
- ☆15Jul 6, 2026Updated 3 months ago
- Coq library for working with de Bruijn indices [maintainer=@KevOrr]☆31Sep 15, 2021Updated 5 years ago
- A simple indicator for Guake/Guake3 terminal☆12Feb 25, 2021Updated 5 years ago
- Turns the Twitch chat into a MIDI device☆20Jun 10, 2021Updated 5 years ago
- Eleventy plugin for PostCSS library☆12Feb 10, 2025Updated last year
- 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 Rust library for high performance directory walking using libc fts.☆18Dec 12, 2023Updated 2 years ago
- Preview a web page in a number of different viewport widths☆19Jul 26, 2022Updated 4 years ago
- API gateway and reverse proxy for OpenAI APIs☆15Jul 27, 2023Updated 3 years ago
- Console IO monitor using BPF to record per IO latency☆17Apr 11, 2023Updated 3 years ago
- ☆16Sep 1, 2026Updated last month
- Specification of the Cedille Core language☆36Jul 21, 2020Updated 6 years ago
- Fork of AWS-S3 with some custom patches. Removes const_missing hacks like the jaf-s3 gem.☆16Jun 6, 2017Updated 9 years ago
- Cross-platform Rust wrappers for the USB ID Repository☆27Oct 8, 2026Updated 2 weeks ago
- A project of short tutorials and how-to guides for Coq features and Coq Platform packages.☆26Sep 1, 2026Updated last month
- 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.
- ☆12May 31, 2023Updated 3 years ago
- Benchmarks comparing the performance and features of popular Rust actor libraries, including Actix, Coerce, Kameo, Ractor, and Xtra.☆13Jan 23, 2025Updated last year
- Documentation for Cedar policy language☆36Sep 25, 2026Updated 3 weeks ago
- This tool uploads documentation for publishing to googleapis.dev.☆19Sep 14, 2026Updated last month
- PagerDuty integration for Hubot☆14Oct 19, 2024Updated 2 years ago
- Certificate authority fixtures for Go tests☆15Oct 4, 2021Updated 5 years ago
- A package for simple property based testing in julia.☆82Mar 13, 2024Updated 2 years ago