Pinned Repositories
CCF
Confidential Consortium Framework
merklecpp
A C++ library for creation and manipulation of Merkle trees
CCF
Confidential Consortium Framework
evodec
Evohome Decoder
onnx-server-openenclave
An Open Enclave port of the ONNX inference server with data encryption and attestation capabilities to enable confidential inference on Azure Confidential Computing.
openenclave-tmp
SDK for developing enclaves
vscode-x509
wlmcd
@wintersteiger's library for monitoring and configuring devices
z3
The Z3 Theorem Prover
wintersteiger's Repositories
wintersteiger/wlmcd
@wintersteiger's library for monitoring and configuring devices
wintersteiger/vscode-x509
wintersteiger/CCF
Confidential Consortium Framework
wintersteiger/evodec
Evohome Decoder
wintersteiger/onnx-server-openenclave
An Open Enclave port of the ONNX inference server with data encryption and attestation capabilities to enable confidential inference on Azure Confidential Computing.
wintersteiger/z3
The Z3 Theorem Prover
wintersteiger/cc2538-bsl
Python cross-platform script to upload firmware via the serial boot loader onto the CC13xx, CC2538 and CC26xx SoC.
wintersteiger/ecowitt_gateway
wintersteiger/FStar
An ML-like language aimed at program verification
wintersteiger/hacl-star
HACL*, a formally verified cryptographic library written in F*
wintersteiger/hcsshim
Windows - Host Compute Service Shim
wintersteiger/https_dns_proxy
A lightweight DNS-over-HTTPS proxy.
wintersteiger/libgpiod
NOTE - this project is now hosted at kernel.org and the development happens on the linux-gpio mailing list.
wintersteiger/linol
Wrapper around the OCaml `lsp` library to make it easier to write LSP servers
wintersteiger/litt
A library of C++ templates for rapid prototyping of boiler thermostats
wintersteiger/merklecpp
A C++ library for creation and manipulation of Merkle trees
wintersteiger/oeedger8r-cpp
An implementation of oeedger8r in C++
wintersteiger/onnx
Open Neural Network Exchange
wintersteiger/opam-repository
Main public package repository for opam, the source package manager of OCaml.
wintersteiger/openenclave
SDK for developing enclaves
wintersteiger/PerformanceTest
wintersteiger/pyracing
A complete overhaul of the original ir_webstats; pyracing is an API client/wrapper for iRacing, the leading online simracing service. pyracing handles the queries to iRacing's (known) URL endpoints and maps the returned JSON data into structured objects, allowing for easier access to the data.
wintersteiger/ReasoningEngine
Symbolic analysis of discrete dynamical systems
wintersteiger/rtl_433
Program to decode radio transmissions from devices on the ISM bands (and other frequencies)
wintersteiger/rtl_433_tests
This repository contains the regressions test suite for rtl_433
wintersteiger/sgx-lkl
SGX-LKL Library OS for running Linux applications inside of Intel SGX enclaves
wintersteiger/sgx-lkl-musl
Modified musl libc for SGX-LKL
wintersteiger/theorem_proving_in_lean4
Theorem Proving in Lean 4
wintersteiger/Trieste
A term rewriting system for experimental programming language development.
wintersteiger/z3test
Test and benchmark repository for Z3.