wintersteiger Goto Github PK

angara.table

A library that contains types for table representation and operations to manipulate with tables, as well as save and load them from text files such as CSV files.

bme680_driver

BME680 sensor driver / API including example guide. To report issues, go to https://community.bosch-sensortec.com/t5/Bosch-Sensortec-Community/ct-p/bst_community.

cc2538-bsl

Python cross-platform script to upload firmware via the serial boot loader onto the CC13xx, CC2538 and CC26xx SoC.

ccf

Confidential Consortium Framework

ctags

A maintained ctags implementation

ecowitt_gateway

everest

everest-ci

CI scripts for project everest

evodec

Evohome Decoder

fstar

An ML-like language aimed at program verification

hacl-star

HACL*, a formally verified cryptographic library written in F*

hcsshim

Windows - Host Compute Service Shim

https_dns_proxy

A lightweight DNS-over-HTTPS proxy.

kremlin

KreMLin is a tool for extracting low-level F* programs to readable C code

libgpiod

NOTE - this project is now hosted at kernel.org and the development happens on the linux-gpio mailing list.

linol

Wrapper around the OCaml `lsp` library to make it easier to write LSP servers

litt

A library of C++ templates for rapid prototyping of boiler thermostats

mcbv

A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.

merklecpp

A C++ library for creation and manipulation of Merkle trees

mitls-fstar

TLS implemented in F*

oeedger8r-cpp

An implementation of oeedger8r in C++

onnx

Open Neural Network Exchange

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.

onnxruntime

ONNX Runtime: cross-platform, high performance scoring engine for ML models

opam-cross-windows

An OCaml cross-toolchain for Windows and several useful libraries

opam-repository

Main public package repository for opam, the source package manager of OCaml.

openenclave

SDK for developing enclaves

openenclave-tmp

SDK for developing enclaves

performancetest

probabilisticz3-src

Source code repository