2024 Alibaba Global Mathematics Competition AI Track Global 2nd Place Project (Agent Universe)

Solutions of 1 and 2 Pacman projects of Berkeley AI course

An open-source tool-augmented conversational language model from Fudan University

The SCXML state machine to C++ compiler

SafeCap (Git)

微信关注订阅号：猫哥学前班

A complete Event-B specification of partitioning operating systems compliant with ARINC 653 (Part 1, Version 3)

This is a playground for studying railway models using formal methods.