-
equational_theories Public
Forked from teorth/equational_theoriesA project to map out the relations between different equational theories of Magmas.
Lean Apache License 2.0 UpdatedOct 3, 2024 -
HiGHS Public
Forked from ERGO-Code/HiGHSLinear optimization software
C++ MIT License UpdatedAug 21, 2024 -
Prompt-Engineering-Guide Public
Forked from dair-ai/Prompt-Engineering-Guide🐙 Guides, papers, lecture, and resources for prompt engineering
Jupyter Notebook MIT License UpdatedFeb 24, 2023 -
keycloak Public
Forked from keycloak/keycloakOpen Source Identity and Access Management For Modern Applications and Services
Java Apache License 2.0 UpdatedFeb 5, 2023 -
python-chess Public
Forked from niklasf/python-chessA pure Python chess library with move generation and validation, PGN parsing and writing, Polyglot opening book reading, Gaviota tablebase probing, Syzygy tablebase probing and UCI/XBoard engine co…
Python GNU General Public License v3.0 UpdatedOct 19, 2020