Similar repositories to ttuegel/nixpkgs-kframework:

• ttuegel/nixpkgs-kframework github similar
• z80dev/dasy github similar
• leonardoalt/SolPrologV2 github similar
• rvolosatovs/infrastructure github similar
• teozkr/Sbtix github similar
• nix-community/pip2nix github similar
• nix-community/nur-packages-template github similar
• benjaminion/LLL_erc20 github similar
• nix-community/setup.nix github similar
• grahamc/r13y.com github similar
• nix-community/docker-nixpkgs github similar
• SenWu/emmental github similar
• openlab-aux/vuizvui github similar
• peti/hydra-tutorial github similar
• nix-community/yarn2nix github similar
• pololu/nixcrpkgs github similar
• vorot93/evmodin github similar
• tweag/trustix github similar
• jyp/styx github similar
• musnix/musnix github similar
• tecosaur/org-pandoc-import github similar
• mlvzk/manix github similar
• fluidattacks/makes github similar
• cachix/pre-commit-hooks.nix github similar
• LnL7/nix-docker github similar
• huff-language/huffc github similar
• Mic92/nix-ld github similar
• xtruder/kubenix github similar
• matthewbauer/nix-bundle github similar
• hercules-ci/arion github similar
• NixOS/rfcs github similar
• github/MVG github similar
• rougier/svg-tag-mode github similar
• kframework/evm-semantics github similar
• devrandom/gitian-builder github similar
• svanderburg/node2nix github similar
• JuliaSymbolics/SymbolicUtils.jl github similar
• tmalsburg/helm-bibtex github similar
• Mic92/sops-nix github similar
• novifinancial/winterfell github similar