A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
APACHE-2.0 License
My Digital Palace - A Personal Journal for Reflection - A place to store all my thoughts
OpenMMLab Foundational Library for Training Deep Learning Models
Simple maze environments using mujoco-py
Symbolic execution tool
Combinatorial Complex Score-based Diffusion model using stochastic differential equations
IDA plugin which queries uses language models to speed up reverse-engineering
# Minimalistic Foundation for AI Applications
Cambrian-1 is a family of multimodal LLMs with a vision-centric design.
A family of open-sourced Mixture-of-Experts (MoE) Large Language Models