TLA+
tlaplus
TLA+ is a formal specification language developed to design, model, document, and verify concurrent systems.
LeeJongBeom
devleejb
Software Engineer Interested in LLM Application Development
@yorkie-team Seoul, Korea
Yorkie Team
yorkie-team
Yorkie is an open source document store for building collaborative editing applications.
Korea, South
DAIR.AI
dair-ai
Democratizing Artificial Intelligence Research, Education, and Technologies
Planet Earth
Qiskit
Qiskit
Qiskit is an open-source SDK for working with quantum computers at the level of extended quantum circuits, operators, and primitives.
Probabilistic machine learning
probml
Material to accompany my book series "Probabilistic Machine Learning" (Software, Data, Exercises, Figures, etc)
SoonWon Moon
damhiya
An undergraduate student majoring in Computer Engineering and Mathematics at Inha University. Interested in PL.
Seoul, Republic of Korea