24 dépôts
Awesome GitHub RepositoriesLibraries
Explore 24 awesome GitHub repositories matching part of an awesome list · Libraries. Refine with filters or upvote what's useful.
Awesome Libraries GitHub Repositories
Trouvez les meilleurs dépôts grâce à l'IA.Nous recherchons les dépôts les plus pertinents grâce à l'IA.
- bradymholt/cron-expression-descriptor
bradymholt/cron-expression-descriptor
1,107Voir sur GitHubWould you take a quick second and ⭐️ my repo?
Listed in the “Libraries” section of the Awesome Nlg awesome list.
C# - deepspec/interactiontrees
DeepSpec/InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
Listed in the “Libraries” section of the Awesome Coq awesome list.
Rocq Prover - tokenmill/numberwords
tokenmill/numberwords
Number Words will build numeric expressions for natural numbers, percentages and fractions. For example:
Listed in the “Libraries” section of the Awesome Nlg awesome list.
Clojure - jwiegley/coq-haskell
jwiegley/coq-haskell
coq-haskell
Listed in the “Libraries” section of the Awesome Coq awesome list.
Coq - uds-psl/coq-library-undecidability
uds-psl/coq-library-undecidability
The Coq Library of Undecidability Proofs contains mechanised reductions to establish undecidability results in Coq. The undecidability proofs are based on a synthetic approach to undecidability. A problem P is considered undecidable if its decidability in Coq implies the enumerability of the…
Listed in the “Libraries” section of the Awesome Coq awesome list.
Rocq Prover - coq-community/coq-ext-lib
coq-community/coq-ext-lib
This file was generated from meta.yml, please do not edit manually. Follow the instructions on https://github.com/coq-community/templates to regenerate. --->
Listed in the “Libraries” section of the Awesome Coq awesome list.
Rocq Prover - plclub/metalib
plclub/metalib
COMPILATION, INSTALLATION, AND DOCUMENTATION:
Listed in the “Libraries” section of the Awesome Coq awesome list.
Coq - tchajed/coq-record-update
tchajed/coq-record-update
In a nutshell, this library automatically provides a generic way to update record fields. Here's a teaser example:
Listed in the “Libraries” section of the Awesome Coq awesome list.
Rocq Prover - damien-pous/relation-algebra
damien-pous/relation-algebra
Webpage of the project: http://perso.ens-lyon.fr/damien.pous/ra
Listed in the “Libraries” section of the Awesome Coq awesome list.
Rocq Prover - coq-community/reglang
coq-community/reglang
This file was generated from meta.yml, please do not edit manually. Follow the instructions on https://github.com/coq-community/templates to regenerate. --->
Listed in the “Libraries” section of the Awesome Coq awesome list.
Rocq Prover - charguer/tlc
charguer/tlc
Description
Listed in the “Libraries” section of the Awesome Coq awesome list.
Rocq Prover - math-comp/algebra-tactics
math-comp/algebra-tactics
This file was generated from meta.yml, please do not edit manually. Follow the instructions on https://github.com/coq-community/templates to regenerate. --->
Listed in the “Libraries” section of the Awesome Coq awesome list.
Rocq Prover - fblanqui/color
fblanqui/color
C o L o R , a Rocq library on rewriting theory and termination
Listed in the “Libraries” section of the Awesome Coq awesome list.
Rocq Prover - lysxia/coq-simple-io
Lysxia/coq-simple-io
```coq From SimpleIO Require Import SimpleIO. From Coq Require Import String. #local Open Scope string_scope.
Listed in the “Libraries” section of the Awesome Coq awesome list.
Rocq Prover - imdea-software/fcsl-pcm
imdea-software/fcsl-pcm
This file was generated from meta.yml, please do not edit manually. Follow the instructions on https://github.com/coq-community/templates to regenerate. --->
Listed in the “Libraries” section of the Awesome Coq awesome list.
Rocq Prover - vafeiadis/hahn
vafeiadis/hahn
Hahn is a Coq library that contains a useful collection of lemmas and tactics about lists and binary relations.
Listed in the “Libraries” section of the Awesome Coq awesome list.
Coq - math-comp/mczify
math-comp/mczify
This file was generated from meta.yml, please do not edit manually. Follow the instructions on https://github.com/coq-community/templates to regenerate. --->
Listed in the “Libraries” section of the Awesome Coq awesome list.
Rocq Prover - mit-plv/bbv
mit-plv/bbv
Several Coq projects at MIT use a file called Word.v, defining bit vectors and lemmas about them.
Listed in the “Libraries” section of the Awesome Coq awesome list.
Rocq Prover - coq/bignums
coq/bignums
This file was generated from meta.yml, please do not edit manually. Follow the instructions on https://github.com/coq-community/templates to regenerate. --->
Listed in the “Libraries” section of the Awesome Coq awesome list.
Rocq Prover - coq-community/alea
coq-community/alea
This file was generated from meta.yml, please do not edit manually. Follow the instructions on https://github.com/coq-community/templates to regenerate. --->
Listed in the “Libraries” section of the Awesome Coq awesome list.
Coq
