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

Reviews

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

Repository Details

More Repositories

1

crome-cgg

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

crome-synthesis

Python
10
star
3

synthesis-web

web interface for crome-synthesis
CSS
10
star
4

crome-logic

Python
10
star
5

crome-contracts

Contracts operations tools, based on LTL
Python
10
star
6

contracts-web

web interface for crome-contracts
CSS
8
star
7

fact-fortress-dapp

Zero-Knowledge Proof Framework - Winner of 2023 UC Berkeley ZKP Hackathon
Solidity
3
star
8

wiseml-patterns

Python
2
star
9

pierg.github.io

Personal website
SCSS
2
star
10

ai-course

Labs for Chalmers SE AI course
Jupyter Notebook
2
star
11

llm_from_scratch

Python
2
star
12

GPTLabs

Building and Training Transformers Step-by-Step
Python
2
star
13

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
TypeScript
1
star
14

crome

Python
1
star
15

crome-old

Contract-Based Robotic Mission Specification
JavaScript
1
star
16

fact-fortress-compiler

utilities to build circuits in noi
Roff
1
star
17

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
1
star
18

cloud-guardian-docs

1
star
19

wiseml

Python
1
star
20

tensor-dynamics

A TensorFlow platform for building neural networks and generating synthetic biochemical datasets.
Python
1
star
21

rl_monitor

Combining Reinforcement Learning with Runtime Monitoring
1
star
22

cloud-guardian

Modeling and analysis of IAM security policies
Python
1
star
23

cogomo_Z3

Python
1
star
24

cogomo-ltl

Python
1
star