nielstron
Working on Blockchain technologies, mechanized verification of data structures, open-source python libraries.
ETH ZurichSwitzerland
Pinned Repositories
ChatProtect
This is the code for the paper "Self-contradictory Hallucinations of Large Language Models: Evaluation, Detection and Mitigation".
bplustrees
A Verified Imperative Implementation of B+-Trees in Isabelle
demjson3
Fork of demjson - only supports Python 3. Python module for JSON data encoding, including jsonlint.
ha_bayernluefter
Custom component for the Bayernluefter
ha_blnet
BLNET custom component for Home Assistant
pyfronius
Automated JSON API based communication with Fronius Symo
quantulum3
Library for unit extraction - fork of quantulum for python3
vimulator
A vim-emulator for jEdit 5
YOLOv3-Training-Snowman-Detector
Adapted YOLOv3 Network, trained to detect cats
opshin
A simple pythonic programming language for Smart Contracts on Cardano
nielstron's Repositories
nielstron/quantulum3
Library for unit extraction - fork of quantulum for python3
nielstron/pyfronius
Automated JSON API based communication with Fronius Symo
nielstron/ha_blnet
BLNET custom component for Home Assistant
nielstron/ha_bayernluefter
Custom component for the Bayernluefter
nielstron/pysyncthru
A very basic python SyncThru bridge
nielstron/pyblnet
Automate wireless communication to UVR1611 via BL-NET
nielstron/pyboinc
A very basic package to connect to a BOINC client based on the BOINC GUI RPC Protocol
nielstron/ubuntu.whatsapp-nativefier
WhatsApp / WhatsAppWeb as native App on ubuntu via Electron nativefier
nielstron/ha-config
Tools and examples for a home assistant configuration
nielstron/pyernluefter
Automated async web-based communication with the Bayernluefter
nielstron/BetterJSONStorage
Better JSONStorage for tinyDB
nielstron/essential-cardano
Repository for the Essential Cardano list
nielstron/kupo
🐹 Fast, lightweight & configurable chain-index for Cardano.
nielstron/zokrada
ZK-SNARK Proof Verifiers on Cardano
nielstron/aiken
Cardano Smart Contracts
nielstron/cardano-documentation
nielstron/CIPs
nielstron/CompactIE
nielstron/FastChat
The release repo for "Vicuna: An Open Chatbot Impressing GPT-4"
nielstron/gpt_paper_assistant
GPT4 based personalized ArXiv paper assistant bot
nielstron/lmql
A query language for programming (large) language models.
nielstron/opshin-playground
nielstron/opshin-smart-contract-examples
nielstron/plutus
The Plutus language implementation and tools
nielstron/python-fortuna-miner
A miner for tuna for the light hearted, written in Python
nielstron/site
Website and Docs for Aiken
nielstron/stdlib
The Aiken Standard Library
nielstron/STEAKProtocol
The implemenation of on-chain and off-chain code of the STEAK protocol
nielstron/viewer
🖼 Simple file viewer with slideshow for media
nielstron/yaci-devkit
A set of dev tools for development on Cardano.