Working on Blockchain technologies, mechanized verification of data structures, open-source python libraries.
-
ETH Zurich
- Switzerland
-
06:04
(UTC +01:00) - http://blog.nielstron.de
Highlights
- Pro
Pinned Loading
-
OpShin/opshin
OpShin/opshin PublicA simple pythonic programming language for Smart Contracts on Cardano
-
quantulum3
quantulum3 PublicLibrary for unit extraction - fork of quantulum for python3
-
bplustrees
bplustrees PublicA Verified Imperative Implementation of B+-Trees in Isabelle
Isabelle 1
-
eth-sri/ChatProtect
eth-sri/ChatProtect PublicThis is the code for the paper "Self-contradictory Hallucinations of Large Language Models: Evaluation, Detection and Mitigation".
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.