Discover @pierg Open Source projects

Piergiuseppe Mallozzi (@pierg)

pierg

Stars
105
Global Rank 200,739 (Top 7 %)
Followers 15
Following 3
Registered over 12 years ago
Most used languages

Python
60.9 %

CSS
13.0 %

Roff 4.3 %

SCSS 4.3 %

Jupyter Notebook
4.3 %

TypeScript
4.3 %

JavaScript
4.3 %

Solidity
4.3 %

crome-cgg

Contract-Based Goal Graph Implementation. Combining LTL synthesis and contract-based design to model and analysis complex systems

crome-synthesis

synthesis-web

web interface for crome-synthesis

crome-logic

crome-web

crome-contracts

Contracts operations tools, based on LTL

contracts-web

web interface for crome-contracts

fact-fortress-dapp

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

wiseml-patterns

pierg.github.io

Personal website

ai-course

Labs for Chalmers SE AI course

Jupyter Notebook

llm_from_scratch

GPTLabs

Building and Training Transformers Step-by-Step

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

crome

crome-old

Contract-Based Robotic Mission Speciﬁcation

fact-fortress-compiler

utilities to build circuits in noi

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

wiseml

tensor-dynamics

A TensorFlow platform for building neural networks and generating synthetic biochemical datasets.

rl_monitor

Combining Reinforcement Learning with Runtime Monitoring

cloud-guardian

Modeling and analysis of IAM security policies

cogomo_Z3

cogomo-ltl