Giters
maria-a-schett (mariaschett)

mariaschett

Geek Repo

20

followers

0

following

3

stars

Home Page:maria-a-schett.net

Github PK Tool:Github PK Tool

maria-a-schett's repositories

syrup-backend

backend of syrup: SYnthesizeR of sUPer-optimized smart contracts

Language:OCamlLicense:Apache-2.0Stargazers:15Issues:0Issues:0

ppltr

A PoPuLaToR for a PeePhoLe opTimizeR

Language:OCamlLicense:Apache-2.0Stargazers:13Issues:3Issues:0

sorg

SuperOptimization based Rule Generation

Language:OCamlLicense:Apache-2.0Stargazers:13Issues:0Issues:0

oak

Meaningful control of data in distributed systems.

Language:RustLicense:Apache-2.0Stargazers:1Issues:0Issues:0

transparent-release

Language:StarlarkLicense:Apache-2.0Stargazers:0Issues:0Issues:0