Discover pierg/fact-fortress-web Open Source project

Stars
1
Language
TypeScript
Created over 1 year ago
Updated 6 months ago

pierg

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

Simple Light is a free landing page template built on top of TailwindCSS and fully coded in React / Next.js. Made by

crome-cgg

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

Python

crome-synthesis

Python

synthesis-web

web interface for crome-synthesis

CSS

crome-logic

Python

crome-web

CSS

crome-contracts

Contracts operations tools, based on LTL

Python

contracts-web

web interface for crome-contracts

CSS

fact-fortress-dapp

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

wiseml-patterns

pierg.github.io

ai-course

Labs for Chalmers SE AI course

Jupyter Notebook

llm_from_scratch

Python

GPTLabs

Building and Training Transformers Step-by-Step

Python

crome

Python

crome-old

Contract-Based Robotic Mission Speciﬁcation

JavaScript

fact-fortress-compiler

utilities to build circuits in noi

Roff

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.

Python

cloud-guardian-docs

wiseml

Python

tensor-dynamics

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

Python

rl_monitor

Combining Reinforcement Learning with Runtime Monitoring

cloud-guardian

Modeling and analysis of IAM security policies

Python

cogomo_Z3

Python

cogomo-ltl

Python

pierg/fact-fortress-web

pierg

Reviews

Repository Details

More Repositories