Issues created

• delph-in/pydelphin: 27
• ontologyportal/sigmakee: 23
• delph-in/docs: 17
• arademaker/krr: 16
• cpdoc/dhbb: 11
• arademaker/agile-final-project: 10
• odanoburu/conllu-mode: 7
• leanprover/logic_and_proof_lean3: 7
• letuananh/intsem.fx: 5
• arademaker/delphin: 5
• emap-ed-20242/fad: 5
• udapi/udapi-python: 4
• delph-in/homebrew-delphin: 4
• atlas-computing-org/formal-specification-ide: 4
• jonorthwash/ud-annotatrix: 3
• EmilStenstrom/conllu: 3
• leanprover/reference-manual: 3
• goodmami/mrs-to-penman: 3
• arademaker/hs-conllu: 3
• arademaker/alc-lean: 3
• arademaker/cs-fp: 3
• alvations/pywsd: 2
• globalwordnet/english-wordnet: 2
• delph-in/erg: 2
• arademaker/dicionariosibge: 2
• arademaker/krr-2017.1: 2
• globalwordnet/globalwordnet.github.io: 2
• eudoxia0/cl-yaml: 2
• langchain-ai/langchain-ibm: 2
• HeidelTime/heideltime: 2
• arademaker/treebank: 2
• haskell/aeson: 2
• mgaitan/moin2git: 2
• emacs-lsp/lsp-haskell: 2
• lean-dojo/LeanCopilot: 2
• IBM/mrs-logic: 2
• jheek/cqpweb: 2
• bryant/punkt: 2
• geoscienceaustralia/geosciml.org: 2
• emap-taa-20251/fad: 2
• lecopivo/scilean: 2
• weso/shex-s: 2
• brianlow/syntaxnet-docker: 1
• zhangir-azerbayev/lean-chat-vscode: 1
• milvus-io/milvus: 1
• bergmannjg/leanCurl: 1
• siddhartha-gadgil/LeanAide: 1
• castorini/simpledbpediaqa: 1
• jessealama/laramie: 1
• CAIMEOX/json-schema-lean: 1
• egonw/rrdf: 1
• jrblevin/deft: 1
• cs50/libcs50: 1
• fginter/dep_search: 1
• github-education-resources/classroom: 1
• leanprover/theorem_proving_in_lean4: 1
• org-roam/org-roam: 1
• xenodium/chatgpt-shell: 1
• jmccrae/gwn-scala-api: 1
• gromnitsky/wordnut: 1
• lexml/lexml-xml-schemas: 1
• BramVanroy/spacy_conll: 1
• letuananh/yawlib: 1
• dannypsnl/k: 1
• jozefg/learn-tt: 1
• leanprover/verso: 1
• ekaf/ski: 1
• cambridge-cares/TheWorldAvatar: 1
• deddu/nyxt-docker: 1
• edicl/cl-ppcre: 1
• leanprover/fp-lean: 1
• langsci/259: 1
• dperson/moinmoin: 1
• UweSchmidt/hxt: 1
• robstewart57/hsparql: 1
• CodyReichert/awesome-cl: 1
• jessealama/cl-tptp: 1
• leanprover/subverso: 1
• MarcusGDaniels/semanticParsing: 1
• fukamachi/ningle: 1
• arademaker/slattes: 1
• elasticsearch-dump/elasticsearch-dump: 1
• fare/fare-csv: 1
• flammie/omorfi: 1
• orivej/pzmq: 1
• hraban/cl-markdown: 1
• yandex/dep_tregex: 1
• nigelm/moin2gitwiki: 1
• agentultra/lean-for-hackers: 1
• imperialcollegelondon/natural_number_game: 1
• iesl/watr-works: 1
• benedekrozemberczki/graph2vec: 1
• project-numina/annotation-guidelines: 1
• weso/wdsub: 1
• nilqed/snark: 1
• GavinMendelGleason/OWL: 1
• amir-zeldes/DepEdit: 1
• PyGithub/PyGithub: 1
• amosjyng/nlu: 1
• arademaker/vizagrams: 1
• gklyne/annalist: 1
• tumashu/org2web: 1
• fare/fare-memoization: 1
• dkmfbk/rdfpro: 1
• sdzx-1/typed-fsm: 1
• leanprover/reservoir: 1
• purcell/exec-path-from-shell: 1
• atlas-computing-org/verified-fips-in-rust: 1
• ProofSystem/Encyclopedia: 1
• github/gh-classroom: 1
• UniversalDependencies/UD_Portuguese-PUD: 1
• ufal/udpipe: 1
• lean-forward/logical_verification_2025: 1
• vydd/sketch: 1
• CODAIT/text-extensions-for-pandas: 1
• michmech/plausibility: 1
• fnielsen/ordia: 1
• huggingface/neuralcoref: 1
• bastibe/org-static-blog: 1
• e-spaulding/llms-srl-sprl-replication: 1
• madnificent/lisp-webservice-docker: 1
• EricZinda/Perplexity: 1
• leanprover/tutorial: 1
• chaitanyagupta/chronicity: 1
• rudolph-miller/jonathan: 1
• DS4SD/docling: 1
• shinmera/lquery: 1
• haskell/haskell-language-server: 1
• ledger/ledger-mode: 1
• wmaier/treetools: 1
• lewis-stuart-11/mikebot: 1
• 26hzhang/clausie: 1
• hraban/cl-graph: 1
• spyysalo/conllu.js: 1
• gwu-libraries/orcid2vivo: 1
• ibeltagy/pl-semantics: 1
• jessealama/object-theory: 1
• jwijffels/udpipe-spacy-comparison: 1
• letuananh/lelesk: 1
• stardog-union/pellet: 1
• lexml/wiki: 1
• leanprover-community/mathlib-tools: 1
• vwochnik/jekyll-email-protect: 1

Pull requests created

• leanprover/logic_and_proof_lean3: 16
• arademaker/devops-capstone-project: 8
• delph-in/pydelphin: 3
• ontologyportal/sigmakee: 3
• atlas-computing-org/x3dh: 2
• imperialcollegelondon/natural_number_game: 2
• atlas-computing-org/formal-specification-ide: 2
• arademaker/alc-lean: 2
• jheek/cqpweb: 1
• jonorthwash/ud-annotatrix: 1
• arademaker/hs-conllu: 1
• eudoxia0/cl-yaml: 1
• ibm-developer-skills-network/jbbmo-Introduction-to-Git-and-GitHub: 1
• delph-in/docs: 1
• arademaker/agile-final-project: 1
• bryant/punkt: 1
• lean-forward/logical_verification_2025: 1
• geoscienceaustralia/geosciml.org: 1
• asoroa/ukb: 1
• IBM/FormalML: 1
• arademaker/treebank: 1
• udapi/udapi-python: 1

Maintainer

• delph-in/pydelphin: 30
• delph-in/docs: 18
• arademaker/krr: 16
• arademaker/agile-final-project: 11
• arademaker/devops-capstone-project: 8
• arademaker/alc-lean: 5
• arademaker/delphin: 5
• emap-ed-20242/fad: 5
• delph-in/homebrew-delphin: 4
• arademaker/hs-conllu: 4
• arademaker/treebank: 3
• arademaker/cs-fp: 3
• arademaker/dicionariosibge: 2
• arademaker/krr-2017.1: 2
• delph-in/erg: 2

Active Maintainer

• atlas-computing-org/x3dh: 2

Issue Author Associations

• None (147, 47.57%)
• Member (54, 17.48%)
• Contributor (53, 17.15%)
• Owner (48, 15.53%)
• Collaborator (7, 2.27%)

Pull Request Author Associations

• Contributor (25, 48.08%)
• Owner (13, 25.00%)
• None (8, 15.38%)
• Member (4, 7.69%)
• Collaborator (2, 3.85%)

Top Issue Labels

• question (18)
• invalid (5)
• bug (4)
• enhancement (3)
• wontfix (3)
• doc-request (2)
• help wanted (2)
• definition (1)
• synset duplicate (1)
• DemandedEntry (1)
• stale (1)
• kind/bug (1)
• hledger (1)
• display of graphs (1)
• user-error (1)

Top Pull Request Labels