SRI Lab, ETH Zurich
Results
40
repositories owned by
SRI Lab, ETH Zurich
soltix
37
Stars
8
Forks
Watchers
SOLTIX: Scalable automated framework for testing Solidity compilers.
UnuglifyJS
242
Stars
33
Forks
Watchers
A simpler open-source version of JavaScript deobfuscator JSNice
zkay
80
Stars
21
Forks
Watchers
A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private smart contracts.
lmql
3.6k
Stars
195
Forks
17
Watchers
A language for constraint-guided and efficient LLM programming.
ChatProtect
21
Stars
1
Forks
Watchers
This is the code for the paper "Self-contradictory Hallucinations of Large Language Models: Evaluation, Detection and Mitigation".