Nix Expressions for Altera(Intel) Quartus
☆17Oct 28, 2020Updated 6 years ago
Alternatives and similar repositories for nix-quartus
Users that are interested in nix-quartus are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- HTTP specification in Coq, testable and verifiable☆18Feb 22, 2026Updated 8 months ago
- Mathematical learnings with Lean, for those of us who wish we knew more of both!☆11Aug 27, 2022Updated 4 years ago
- Project PLS is developed based on icarus iverilog and will compile verilog into a much faster optimized model.☆13Nov 15, 2021Updated 4 years ago
- A fast, lossless infinite canvas for visual ideation.☆16Oct 12, 2026Updated 3 weeks ago
- Code powering the π-Base☆13Jul 7, 2026Updated 3 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆28Nov 20, 2025Updated 11 months ago
- A VA-API driver backed by the Linux V4L2 stateful memory-to-memory decoder interface☆17Updated this week
- Generate HTML documentation for mathlib and Lean☆22Oct 2, 2026Updated last month
- Custom Standard Cell Library for GF180MCU process node on open PDK.☆13Oct 11, 2026Updated 3 weeks ago
- ☆12Dec 18, 2025Updated 10 months ago
- A collection of Rust code snippets which are interesting or weird☆12Apr 25, 2023Updated 3 years ago
- Generate sandbox buildable Nix expression from Mix lock file☆12Dec 19, 2025Updated 10 months ago
- work in progress, playing around with btor2 in rust☆16Updated this week
- Elixir Logger Backend that writes to the Linux Ramoops driver☆11Oct 12, 2026Updated 3 weeks 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.
- IO for Gallina☆34Oct 20, 2026Updated 2 weeks ago
- A double range slider for svelte☆16Aug 30, 2024Updated 2 years ago
- ppx_system is a syntax extension to known operating system at compile time☆12May 9, 2023Updated 3 years ago
- Pokémon TCG SDK - Dart☆12Oct 3, 2023Updated 3 years ago
- Tablegen bindings for Rust☆19Oct 26, 2026Updated last week
- IHP SG13CMOS5L PDK☆19Sep 23, 2026Updated last month
- HuaHuaCaoCao (Xiaomi Flower Care) API wrapper.☆10Jul 7, 2021Updated 5 years ago
- A next-gen, massively parallel, beta-optimal functional runtime.☆10Jan 3, 2022Updated 4 years ago
- Universal, safe Git Assistant☆13Apr 6, 2026Updated 6 months 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.
- Flutter plugin providing Android Autofill support for text fields.☆14Oct 29, 2019Updated 7 years ago
- High performance simple persistent queue library with command line utils☆12Nov 21, 2017Updated 8 years ago
- Automated measurement of crystal parameters using a vector network analyser☆13Jun 17, 2020Updated 6 years ago
- Script and library to wait for a DNS authority server to get its configuration.☆15Oct 21, 2021Updated 5 years ago
- ROS2 wrapper for the ReSpeaker 4 Mic Array☆11Sep 18, 2023Updated 3 years ago
- Lean implementations of things found in Certified Programming with Dependent Types☆15Jun 5, 2022Updated 4 years ago
- A generated thin wrapper around libsel4.a, with supporting subcrates.☆13Jan 24, 2022Updated 4 years ago
- A filter cascade implementation in rust☆15Apr 5, 2023Updated 3 years ago
- An Erasure Code Library with Efficient Repair and Update Features☆11Jan 3, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A (broken) SDL2 game made in 48 hours, ported to 3DS homebrew and unbroken!☆13Aug 12, 2021Updated 5 years ago
- Nix derivations for ReasonML☆12Sep 4, 2019Updated 7 years ago
- (WIP) PKGBUILDs for building Halium for Arch GNU/Linux☆11Apr 14, 2026Updated 6 months ago
- Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]☆48Mar 3, 2026Updated 7 months ago
- Typescript implementation of Relaxed Radix Balanced Trees☆19Sep 15, 2024Updated 2 years ago
- Small TS library to type and safely handle `serde` JSON serializations of Rust enums.☆12Nov 14, 2024Updated last year
- Unofficial flutter client for the Skolengo / Kosmos / K-d'école education management system (ENT)☆14Oct 5, 2023Updated 3 years ago