profile
viewpoint
If you are wondering where the data of this site comes from, please visit https://api.github.com/users/pjmkrpg/events. GitMemory does not store any data, but only uses NGINX to cache data for a period of time. The idea behind GitMemory is simply to give users a better reading experience.

pjmkrpg/awesome-coq 0

A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog]

pjmkrpg/coq-tactical 0

Library of Coq proof automation

pjmkrpg/cvc4-ocaml 0

OCaml bindings for CVC4

pjmkrpg/hahn 0

Hahn: A Coq library

pjmkrpg/jibri 0

Jitsi BRoadcasting Infrastructure

pjmkrpg/tokei 0

Count your code, quickly.

pjmkrpg/zelus 0

A synchronous language with ODEs

startedlemmy/ewd998

started time in 2 days

startedwilcoxjay/pretty

started time in 4 days

starteduds-psl/MPCTT

started time in 4 days

startedyugr/Lalambda

started time in 5 days

startedcoq-community/coq-nix-toolbox

started time in 5 days

startedtlringer/thesis

started time in 9 days

startedfizruk/lambda-mu-mu-calculus

started time in 10 days

startedk4rtik/qpl-bib

started time in 11 days

MemberEvent

startedmicrosoft/Ironclad

started time in 13 days

startedclayrat/dialectica

started time in 13 days

startedmattam82/Coq-Equations

started time in 16 days