pierg Goto Github PK

a2c

A Clearer and Simpler Synchronous Advantage Actor Critic (A2C) Implementation in TensorFlow

ai-course

Labs for Chalmers SE AI course

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.

baby-ai-game

Prototype of a game where a reinforcement learning agent is trained through natural language instructions

cloud-guardian

Modeling and analysis of IAM security policies

cloud-guardian-docs

cogomo-ltl

cogomo_z3

contracts-web

web interface for crome-contracts

crome

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-old

Contract-Based Robotic Mission Specification

crome-synthesis

crome-web

fact-fortress-compiler

utilities to build circuits in noi

fact-fortress-dapp

Zero-Knowledge Proof Framework - Winner of 2023 UC Berkeley ZKP Hackathon

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

gptlabs

Building and Training Transformers Step-by-Step

llm-agents

llm_from_scratch

ml2

Machine Learning for Mathematics and Logics

pierg.github.io

Personal website

plotting

pvsio-web

A javascript library to connect to and communicate with a pvsio process using websockets

pybullet-gym

Open-source implementations of OpenAI Gym MuJoCo environments for use with the OpenAI Gym Reinforcement Learning Research Platform.

rl_monitor

Combining Reinforcement Learning with Runtime Monitoring

robogrammar

RoboGrammar: Graph Grammar for Terrain-Optimized Robot Design (SIGGRAPH Asia 2020)

synthesis-web

web interface for crome-synthesis