Nix flake templates managed by the community [maintainer=@IogaMaster]
- flake
- nix
- template
- nix-community
Repository Index
47,133 repositories indexed
49–72 of 96 · Most stars
nixify npm based packages [maintainer=@andir]
Snapshot testing for Nix based on haumea [maintainer=@figsoda]
- nix
- snapshot-testing
- flake
- flakes
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
- coq
- library
- programming
- coq-platform
Deno plugin for the asdf version manager [maintainer=LOOKING FOR A MAINTAINER! SUBMIT A PULL REQUEST TO THE INFRASTRUCTURE REPOSITORY!]
- asdf-plugin
- asdf
Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
- coq
- coq-art
- exercises
- docker-coq-action
Convert the dependencies in `build.zig.zon` to a Nix expression [maintainer=@figsoda]
- build
- nix
- vendor
- zig
GoThanks automatically stars Go's official repository and your go.mod github dependencies, providing a simple way to say thanks to the maintainers of the modules you use and the contributors of Go itself.
- go
- golang
- thanks
- open-source
Support for building npm packages in Nix and lightweight npm registry [maintainer=?]
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
- coq-library
- real-number
- coq
- coq-ci
Learn to use https://github.com/caolan/async in this self guided workshop
- async
- workshop
- rvagg
- javascript
Tēma, Omarchy theming the easy way. Looking for maintainers!
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
- coq
- dependency-graph
- dependency-analysis
- docker-coq-action
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
- coq
- hydra-battles
- ordinal-notations
- formal-proofs
All Your GitHub repos and more in Neovim 🐙🛠️
Crystal plugin for the asdf version manager [maintainer=@marciogm]
- asdf
- asdf-plugin
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
- coq
- refinement
- mathcomp
- coq-platform
Node-RED nodes to save and query data from an influxdb time series database
- influxdb
- node-red
- maintainer-wanted
Statements of famous theorems proven in Coq [maintainer=@jmadiot]
- coq
- theorems
Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
If you are just starting out on a new project I recommend using https://github.com/adamralph/liteguard instead of conditions. Especially if using in a mobile application, less allocations and better performance. This project is deprecated and needs a new maintainer. Contact me if you want to take over.
Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]
- coq
- mathcomp
- 2-3-tree
- avl-tree
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
- coq
- mathcomp
- regular-languages
- ssreflect
Graph Theory [maintainers=@chdoc,@damien-pous]
- coq
- graph-theory
- mathcomp
- docker-coq-action