BarryBo

Cherry_LLM

[NAACL'24] Self-data filtering of LLM instruction-tuning data using a novel perplexity-based difficulty score, without using any other models

azure-sphere-gallery

A collection of inspirational, unmaintained Azure Sphere software and hardware designs ready to be reused.

wolfssl

The wolfSSL library is a small, fast, portable implementation of TLS/SSL for embedded devices to the cloud. wolfSSL supports up to TLS 1.3 and DTLS 1.3!

fstarlang.github.io

The website of all things F*

mt3620-m4-samples

Set of sample applications of the MT3620 M4 Real Time core's drivers (hosted at https://github.com/CodethinkLabs/mt3620-m4-drivers)

mt3620-m4-drivers

Set of drivers for the M4 Real Time cores on the Azure Sphere MT3620

azure-sphere-samples

Samples for Azure Sphere

linux

Linux sources

buildroot

Tesla's buildroot repository

machinelearning

ML.NET is an open source and cross-platform machine learning framework for .NET.

minq-everest

A fork of the Minq QUIC stack that uses miTLS insead of Mint

mitls-curl

curl, with miTLS integrated as a TLS provider

dafny

Dafny is a verification-aware programming language

mitls-fstar

Verified implementation of TLS 1.3 in F*

FStar

A Proof-oriented Programming Language

hacl-star

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

karamel

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

vale

Verified Assembly Language for Everest

z3

The Z3 Theorem Prover

everest