Similar repositories to TravisWhitaker/nix-quartus:

• TravisWhitaker/nix-quartus github similar
• hecrj/iced github similar
• danistefanovic/build-your-own-x github similar
• leanprover-community/mathlib3port github similar
• Julian/lftim github similar
• leanprover-community/doc-gen github similar
• leanprover/lean4-samples github similar
• leanprover/doc-gen4 github similar
• leanprover/lean4-mode github similar
• larsk21/iris-lean github similar
• BenSchZA/nix-shells github similar
• leanprover/std4 github similar
• mhuisi/lean4-cli github similar
• IPDSnelting/tba-2021 github similar
• leanprover/lake github similar
• ImperialCollegeLondon/group-theory-game github similar
• leanprover/theorem_proving_in_lean4 github similar
• arthurpaulino/lean4-metaprogramming-book github similar
• digama0/lean-type-theory github similar
• TwoFX/sudoku github similar
• enjoy-digital/usb3_pipe github similar
• kmill/lean4-raytracer github similar
• RocketRace/easy_z3 github similar
• leanprover-community/mathlib4 github similar
• bjornfor/nixos-config github similar
• cleverca22/toxvpn github similar
• cpitclaudel/alectryon github similar
• tweag/terraform-nixos github similar
• someone1/zfsbackup-go github similar
• ImperialCollegeLondon/formalising-mathematics github similar
• ericdanan/counsel-projectile github similar
• ipetkov/crane github similar
• serokell/nixfmt github similar
• kspalaiologos/malbolge-lisp github similar
• riscv-non-isa/riscv-arch-test github similar
• zhaofengli/colmena github similar
• pier-cli/pier github similar
• bennofs/nix-index github similar
• cleverca22/not-os github similar
• olofk/edalize github similar