Create awesome e-paper dashboards within minutes! Modularity? Check! Python3? Check? Works on Raspberry Pi Zero W? Check! Support for own modules? Check!

Chai-1, SOTA model for biomolecular structure prediction

🌟 Yi-Coder is a series of open-source code language models that delivers state-of-the-art coding performance with fewer than 10 billion parameters.

Neural Network Verification Software Tool

DPLL(T)-based Verification tool for DNNs

Benchmarks repository in the VNN-LIB format

Official inference repo for FLUX.1 models

🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.

Espressif deep-learning library for AIoT applications

Verified Software Toolchain

A Proof-oriented Programming Language

Generative Models by Stability AI

A package for parsing neural network properties in VNN-LIB format

A tool for construction and conversion of neural networks across different standards

Kolmogorov Arnold Networks

The original sources of MS-DOS 1.25, 2.0, and 4.0 for reference purposes

Linear algebra foundation for the Rust programming language

CoreNet: A library for training deep neural networks

Virtual Apollo Guidance Computer (AGC) software

Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable beh…

Blender add-on for creating OpenDRIVE and OpenSCENARIO based automotive driving scenarios including 3D models

LLM training in simple, raw C/CUDA

Haptic input knob with software-defined endstops and virtual detents

Grok open release

Minimal, clean code for the Byte Pair Encoding (BPE) algorithm commonly used in LLM tokenization.

Doing simple retrieval from LLM models at various context lengths to measure accuracy