HigherOrderCO
HigherOrderCO
we are getting to the very core of what makes computers capable of reasoning.
Mario Carneiro
digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.
Chalmers University of Technology Gothenburg, Sweden
ndl-lab
本組織アカウントの運用方針については、「NDLラボ公式GitHubアカウント運用方針」（https://lab.ndl.go.jp/data_set/github/）をご覧ください。
Nano Collective
Nano-Collective
We're a collective building open-source AI. Our goal is to create powerful, privacy-first tools, developed by the community for the community.
Zhihao Liu
Luo1imasi
MS student at @HITCSC | Robotics enthusiast specializing in humanoid robot and SLAM.
Harbin Institute of Technology Shanghai
K framework
kframework
University of Illinois at Urbana-Champaign and Alexandru Ioan Cuza University of Iasi
Moving Blocks!
MovingBlocks
The MovingBlocks org on GitHub is the home of the Terasology engine repo, other frameworks, DestSol, etc. See https://github.com/Terasology for module repos
Global
Please follow @franzinc
OLDlayeratwork
The repos in this account were migrated to @franzinc
Franz Inc.
Typst
typst
The new foundation for documents: Limitless power to write, create, and automate anything that you can fit on a page.
Berlin
Structurizr
structurizr
Structurizr is the original "models as code" tool designed for the C4 model
Jersey, Channel Islands
MBSE4U
MBSE4U
MBSE4U is a lean publishing house for MBSE books with up-to-date content that follows the dynamic changes in the MBSE community and markets.
Germany
OMG® Systems Modeling Community
Systems-Modeling
A community for systems modeling end users, tool vendors and academia to share practices that promote Model-Based Systems Engineeering
Mastodon
mastodon
Mastodon GmbH is a German non-profit developing a decentralized social network
Germany
Model Context Protocol
modelcontextprotocol
An open protocol that enables seamless integration between LLM applications and external data sources and tools.
Smallstep
smallstep
Device Identity for companies with sensitive resources. Secure corporate Wi-Fi, SaaS Apps, VPNs, and more
San Francisco
Tinkerbell
tinkerbell
Tinkerbell is a flexible bare metal provisioning engine. Originally open-sourced by the folks @equinixmetal; currently a sandbox project in the CNCF
The Interwebs
Harbor
goharbor
An open source registry that secures artifacts with policies and RBAC, ensures images are scanned and free from vulnerabilities, and signs images as trusted.
Webrecorder
webrecorder
Webrecorder provides sophisticated solutions for everyone to accurately archive the complex, interactive Web.
The Web!
Open DICOM
open-dicom
Collaborating to improve DICOM management tools across languages and platforms.
PreviousNext