Pinned Repositories
berkeley-cps-symbiotic-design
DARPA Program 2023 for Symbiotic Design for Cyber Physical Systems
pacti
A package for compositional system analysis and design
anomaly-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
Modeling and analysis of IAM security policies
crome-cgg
Contract-Based Goal Graph Implementation. Combining LTL synthesis and contract-based design to model and analysis complex systems
crome-contracts
Contracts operations tools, based on LTL
crome-logic
crome-synthesis
fact-fortress-dapp
Zero-Knowledge Proof Framework - Winner of 2023 UC Berkeley ZKP Hackathon
GPTLabs
Building and Training Transformers Step-by-Step
pierg's Repositories
pierg/crome-cgg
Contract-Based Goal Graph Implementation. Combining LTL synthesis and contract-based design to model and analysis complex systems
pierg/crome-contracts
Contracts operations tools, based on LTL
pierg/crome-logic
pierg/crome-synthesis
pierg/crome-web
pierg/synthesis-web
web interface for crome-synthesis
pierg/contracts-web
web interface for crome-contracts
pierg/fact-fortress-dapp
Zero-Knowledge Proof Framework - Winner of 2023 UC Berkeley ZKP Hackathon
pierg/ai-course
Labs for Chalmers SE AI course
pierg/GPTLabs
Building and Training Transformers Step-by-Step
pierg/llm_from_scratch
pierg/wiseml-patterns
pierg/anomaly-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.
pierg/baby-ai-game
Prototype of a game where a reinforcement learning agent is trained through natural language instructions
pierg/cloud-guardian
Modeling and analysis of IAM security policies
pierg/cloud-guardian-docs
pierg/cogomo-ltl
pierg/cogomo_Z3
pierg/crome
Contract-Based Robotic Mission Specification
pierg/crome-old
Contract-Based Robotic Mission Specification
pierg/fact-fortress-compiler
utilities to build circuits in noi
pierg/fact-fortress-web
Simple Light is a free landing page template built on top of TailwindCSS and fully coded in React / Next.js. Made by
pierg/rl_monitor
Combining Reinforcement Learning with Runtime Monitoring
pierg/tensor-dynamics
A TensorFlow platform for building neural networks and generating synthetic biochemical datasets.
pierg/wiseml
pierg/A2C
A Clearer and Simpler Synchronous Advantage Actor Critic (A2C) Implementation in TensorFlow
pierg/ml2
Machine Learning for Mathematics and Logics
pierg/plotting
pierg/pybullet-gym
Open-source implementations of OpenAI Gym MuJoCo environments for use with the OpenAI Gym Reinforcement Learning Research Platform.
pierg/RoboGrammar
RoboGrammar: Graph Grammar for Terrain-Optimized Robot Design (SIGGRAPH Asia 2020)