OpenCoq
Popular repositories Loading
-
Spin
Spin PublicForked from nimble-code/Spin
Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
C
-
Cobra
Cobra PublicForked from nimble-code/Cobra
An interactive (fast) static source code analyzer
C
-
Modex
Modex PublicForked from nimble-code/Modex
a model extractor, to automatically extract Spin verification models from multi-threaded C code
C
-
-
logicmoo_utils
logicmoo_utils PublicForked from logicmoo/logicmoo_utils
Shared predicates between LOGICMOO projects
Prolog
-
Repositories
- OpenCogManus Public Forked from OpenCoq/OpenManus
No fortress, purely open ground. OpenManus is Coming.
OpenCoq/OpenCogManus’s past year of commit activity - OpenManus-RL Public Forked from OpenManus/OpenManus-RL
A live stream development of RL tunning for LLM agents
OpenCoq/OpenManus-RL’s past year of commit activity - OCoq-dL Public Forked from OpenCoq/Coq-dL
A formally verified implementation of differential dynamic logic in Coq
OpenCoq/OCoq-dL’s past year of commit activity - tfml Public Forked from huggingface/transformers
🤗 Transformers: the model-definition framework for state-of-the-art machine learning models in text, vision, audio, and multimodal models, for both inference and training.
OpenCoq/tfml’s past year of commit activity - openbolt.new Public template Forked from ZoneCog/bolt.new
Prompt, run, edit, and deploy full-stack web applications
OpenCoq/openbolt.new’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…