coq-community/awesome-coq issues and pull requests

#44 - Add Program Verification course at Radboud University Nijmegen

Pull Request - State: closed - Opened by robbertkrebbers 4 months ago

#43 - docs(README.md): Add opam-switch-mode

Pull Request - State: closed - Opened by erikmd 8 months ago

#42 - adds a link to a preprint on hal

Pull Request - State: closed - Opened by ybertot 9 months ago - 2 comments

#41 - Update Thomas Letan’s blog

Pull Request - State: closed - Opened by lthms 11 months ago

#40 - Update VsCoq descriptions

Pull Request - State: closed - Opened by palmskog about 1 year ago

#39 - Update README.md with wasmcert

Pull Request - State: closed - Opened by spitters about 1 year ago - 10 comments

#38 - Update README.md with SSProve

Pull Request - State: closed - Opened by spitters about 1 year ago - 1 comment

#37 - lthms’ blog has been reworked

Pull Request - State: closed - Opened by lthms over 1 year ago

#36 - Add HTT

Pull Request - State: closed - Opened by clayrat almost 2 years ago - 3 comments

#35 - Add Software Foundations in Coq - YouTube Playlist

Pull Request - State: closed - Opened by vitoriapena about 2 years ago - 2 comments

#34 - Since I find Bedrock to be awesome, I am not sure about its current status

Issue - State: closed - Opened by vonavi over 2 years ago - 2 comments

#33 - Tags?

Issue - State: closed - Opened by anton-trunov over 2 years ago - 3 comments

#32 - Add ConCert framework

Pull Request - State: closed - Opened by annenkov over 2 years ago - 1 comment

#31 - add deployment to gh-pages branch on merge to master

Pull Request - State: closed - Opened by palmskog almost 3 years ago

#30 - Add deployment to GitHub Pages

Pull Request - State: closed - Opened by erikmd almost 3 years ago - 5 comments
Labels: documentation

#29 - Adding an external URL such as `project-awesome.org` in the repo description?

Issue - State: closed - Opened by erikmd almost 3 years ago - 3 comments
Labels: documentation

#28 - Add CertiGraph to Libraries

Pull Request - State: closed - Opened by andrew-appel almost 3 years ago

#27 - CONTRIBUTING.md broken at project-awesome

Issue - State: closed - Opened by andrew-appel about 3 years ago - 2 comments

#26 - set awesome_bot CI request delay to avoid GitHub 429 responses

Pull Request - State: closed - Opened by palmskog about 3 years ago

#25 - Add more details to coq-tools

Pull Request - State: closed - Opened by JasonGross about 3 years ago - 2 comments

#24 - add awesome_bot Actions CI to check links

Pull Request - State: closed - Opened by palmskog over 3 years ago

#23 - Update Coq-Elpi description

Pull Request - State: closed - Opened by gares over 3 years ago - 2 comments

#22 - Set up CI for checking Awesome project format

Issue - State: open - Opened by palmskog over 3 years ago - 1 comment

#21 - add requirements in CC evaluations

Pull Request - State: closed - Opened by palmskog over 3 years ago - 1 comment

#20 - Pointer to the Vélus project

Pull Request - State: closed - Opened by pjmkrpg over 3 years ago - 1 comment

#19 - Add a section "Press articles related to Coq"

Issue - State: open - Opened by jfehrle about 4 years ago - 3 comments

#18 - Should we add ANSSI reviewing standards for Coq proofs?

Issue - State: closed - Opened by anton-trunov about 4 years ago

#17 - Add PLV@MIT blog

Issue - State: closed - Opened by anton-trunov over 4 years ago - 1 comment

#16 - Add docker-coq-action

Pull Request - State: closed - Opened by erikmd over 4 years ago - 3 comments

#15 - Add related awesome lists section

Issue - State: open - Opened by anton-trunov over 4 years ago

#14 - RISC-V specifications

Pull Request - State: closed - Opened by llelf almost 5 years ago - 13 comments

#13 - remove duplicate entry

Pull Request - State: closed - Opened by llelf almost 5 years ago - 1 comment

#12 - alternative stdlibs

Pull Request - State: closed - Opened by llelf almost 5 years ago - 3 comments

#11 - wikis

Pull Request - State: closed - Opened by llelf almost 5 years ago - 3 comments

#10 - typo

Pull Request - State: closed - Opened by llelf almost 5 years ago - 1 comment

#9 - Add CFML and FreeSpec.

Pull Request - State: closed - Opened by Zimmi48 almost 5 years ago - 2 comments

#8 - Link to Coq website in the description.

Pull Request - State: closed - Opened by Zimmi48 almost 5 years ago - 1 comment

#7 - Add svg logo

Pull Request - State: closed - Opened by palmskog almost 5 years ago

#6 - Add projects from Coq's CI (and some more along the way)

Pull Request - State: closed - Opened by anton-trunov almost 5 years ago - 1 comment

#6 - Add projects from Coq's CI (and some more along the way)

Pull Request - State: closed - Opened by anton-trunov almost 5 years ago - 1 comment

#5 - Some projects from https://github.com/topics/coq\?o\=desc\&s\=stars and other prominent projects

Pull Request - State: closed - Opened by anton-trunov almost 5 years ago - 3 comments

#4 - Add blogs

Pull Request - State: closed - Opened by anton-trunov almost 5 years ago

#3 - Linking to repository or website

Issue - State: open - Opened by palmskog almost 5 years ago

#2 - List item sorting orders

Issue - State: open - Opened by palmskog almost 5 years ago

#1 - Logo

Issue - State: closed - Opened by palmskog almost 5 years ago - 2 comments

GitHub / coq-community/awesome-coq issues and pull requests