There are no reviews yet. Be the first to send feedback to the community and the maintainers!
crome-cgg
Contract-Based Goal Graph Implementation. Combining LTL synthesis and contract-based design to model and analysis complex systemscrome-synthesis
synthesis-web
web interface for crome-synthesiscrome-logic
crome-web
crome-contracts
Contracts operations tools, based on LTLcontracts-web
web interface for crome-contractsfact-fortress-dapp
Zero-Knowledge Proof Framework - Winner of 2023 UC Berkeley ZKP Hackathonwiseml-patterns
pierg.github.io
Personal websiteai-course
Labs for Chalmers SE AI coursellm_from_scratch
GPTLabs
Building and Training Transformers Step-by-Stepfact-fortress-web
Simple Light is a free landing page template built on top of TailwindCSS and fully coded in React / Next.js. Made bycrome
crome-old
Contract-Based Robotic Mission Speci๏ฌcationanomaly-detection
Anomaly Detection in Event Streams: Leveraging advanced deep learning for anomaly detection in event streams, with metrics evaluation, Slurm support, and Hadoop HDFS validation.cloud-guardian-docs
wiseml
tensor-dynamics
A TensorFlow platform for building neural networks and generating synthetic biochemical datasets.rl_monitor
Combining Reinforcement Learning with Runtime Monitoringcloud-guardian
Modeling and analysis of IAM security policiescogomo_Z3
cogomo-ltl
Love Open Source and this site? Check out how you can help us