pierg/crome-contracts

Stars
10
Rank 1,807,489 (Top 36 %)
Language
Python
License
MIT License
Created over 2 years ago
Updated over 2 years ago

pierg/crome-contracts

pierg

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Contracts operations tools, based on LTL

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

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