Nix Expressions for Altera(Intel) Quartus
☆17Oct 28, 2020Updated 5 years ago
Alternatives and similar repositories for nix-quartus
Users that are interested in nix-quartus are comparing it to the libraries listed below
Sorting:
- Mathematical learnings with Lean, for those of us who wish we knew more of both!☆10Aug 27, 2022Updated 3 years ago
- HTTP specification in Coq, testable and verifiable☆18Feb 22, 2026Updated last week
- [maintainer=@mrcjkb, @xBLACKICEx]☆27Feb 25, 2026Updated last week
- Generate HTML documentation for mathlib and Lean☆22Sep 28, 2024Updated last year
- ALL of these mods work some are ones that I made some my friends made☆15Mar 27, 2023Updated 2 years ago
- ⛩️ Powerful Yet Minimal Nix Dependency Manager☆41Updated this week
- Get up and running with modifications to Gorilla Tag to enhance your experience. Reject humanity, return to monke.☆11Feb 24, 2025Updated last year
- IO for Gallina☆34Dec 17, 2025Updated 2 months ago
- A TCP Socket library for Deno☆10Sep 19, 2023Updated 2 years ago
- One album per day☆13May 24, 2024Updated last year
- hikalium's lifestyle guide☆12Feb 16, 2025Updated last year
- [ "aarch64-darwin" "aarch64-linux" "x86_64-darwin" "x86_64-linux" ]☆54Apr 9, 2023Updated 2 years ago
- Wait for async tasks☆13Dec 22, 2022Updated 3 years ago
- ☆10Nov 28, 2021Updated 4 years ago
- Taking Nix Offline☆47Sep 8, 2025Updated 5 months ago
- Compare Nix derivations between base and PR branches using dix☆26Feb 23, 2026Updated last week
- ☆10Dec 15, 2023Updated 2 years ago
- OTP generation & validation library for Rust☆14Dec 4, 2025Updated 3 months ago
- A command-line tool that uses hyperfine to benchmark Nix derivation builds and evaluations.☆24Feb 22, 2026Updated last week
- 🔒 Private Internet Access VPN Configurations & CLI for NixOS☆12Feb 16, 2025Updated last year
- Emulator of the soviet ternary computer "Setun-70" (Сетунь-70)☆18Dec 9, 2024Updated last year
- [⚠️ WIP] ALMOは拡張Markdownパーサ・静的サイトジェネレータです。WebAssemblyを使ってブラウザ上で完結する実行環境を提供し、サーバを必要としないサンプルコードの実行環境やジャッジシステムを提供するページの構築を可能にします。☆16Oct 28, 2025Updated 4 months ago
- Toy QUIC implementation in Zig☆13Sep 4, 2024Updated last year
- A simple chess engine written in NASM assembly☆10Dec 14, 2018Updated 7 years ago
- A Lean 4 formalization of Pólya enumeration theorem.☆21Jun 6, 2025Updated 8 months ago
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Jan 2, 2021Updated 5 years ago
- 💧A membrane between the decentralized world and centralized world☆12Jan 5, 2021Updated 5 years ago
- Another (simplified) reimplementation of financial contract combinator library. Refer to "How to write a financial contract" by S.L. Peyt…☆11Jul 1, 2019Updated 6 years ago
- A Rust HAL for the ht32f5xxxx family of chips☆10Jan 4, 2023Updated 3 years ago
- A cluster operator, manages clustering.☆11Feb 11, 2026Updated 3 weeks ago
- A Flexible Cache Architectural Simulator☆17Sep 16, 2025Updated 5 months ago
- Manage GitLab for Labs from the Command Line☆11Jan 27, 2026Updated last month
- A Raspberry PI shield for testing probe-rs against many chips & probes.☆14Jan 21, 2022Updated 4 years ago
- A signature parser for hikari's command handler tanjun.☆10Aug 31, 2022Updated 3 years ago
- USB 2.0 data types☆13Mar 16, 2021Updated 4 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- Build and packaging nimble binary package for Windows, macOS and Linux.☆12Updated this week
- Modifies and resigns APKs entirely in .NET☆10Jan 31, 2022Updated 4 years ago
- Simple, reliable, and efficient distributed task queue in Rust☆36Feb 1, 2026Updated last month