-
cslib Public
Forked from leanprover/cslibA Lean library for Computer Science
Lean Apache License 2.0 UpdatedMar 30, 2026 -
-
-
-
-
leanprover-community.github.io Public
Forked from leanprover-community/leanprover-community.github.ioHosts the website for mathlib and other Lean community infrastructure.
-
vizagrams Public
A visualization library for Lean
-
logical_verification_2025 Public
Forked from lean-forward/logical_verification_2025The Hitchhiker's Guide to Logical Verification (2025 edition) and associated materials
Lean UpdatedAug 9, 2025 -
delphin Public
The Lean port of PyDelphin, a library to integrate DELPH-IN toolsets
-
-
-
-
-
-
-
-
graphy_server Public
Forked from ibm-developer-skills-network/graphy_servertax-calculator
JavaScript Apache License 2.0 UpdatedJun 19, 2024 -
fgxgm-SecurityCheckSample Public
Forked from ibm-developer-skills-network/fgxgm-SecurityCheckSampleSecurityCheckSample
HTML Apache License 2.0 UpdatedJun 19, 2024 -
ci-cd-final-project Public
final project of the CI/CD Coursera Course
Python Apache License 2.0 UpdatedJun 18, 2024 -
wtecc-CICD_PracticeCode Public
Forked from ibm-developer-skills-network/wtecc-CICD_PracticeCodeCICD_PracticeCode
Python Apache License 2.0 UpdatedJun 17, 2024 -
tdd-bdd-final-project Public
Final project for the IBM Introduction to TDD/BDD course on Coursera.org
Python Apache License 2.0 UpdatedJun 16, 2024 -
-
jbbmo-Introduction-to-Git-and-GitHub Public
Forked from ibm-developer-skills-network/jbbmo-Introduction-to-Git-and-GitHubIntroduction to Git and GitHub
Python Apache License 2.0 UpdatedApr 27, 2024 -
-
acl-anthology Public
Forked from acl-org/acl-anthologyData and software for building the ACL Anthology.
Python Apache License 2.0 UpdatedSep 13, 2023 -
siglex Public
Forked from acl-org/siglexThis repository holds the website for the ACL Special Interest Group on the Lexicon (SIGLEX).
HTML UpdatedSep 13, 2023 -
-
propbank-release Public
Forked from propbank/propbank-releaseThe official released annotations, both in .prop pointer format and as conll files. Does not contain the source texts
Creative Commons Attribution Share Alike 4.0 International UpdatedOct 4, 2022 -
QALD Public
Forked from ag-sc/QALDQALD sources (data, website, documents, scripts) https://qald.aksw.org/
Python MIT License UpdatedSep 26, 2022 -
hs-conllu Public
CoNLL-U/UD library
{{ message }}