Stars
A State Machine Language DSL procedual macro for Rust
The financial transactions database designed for mission critical safety and performance.
A hardware-aware guide to data structures for system software engineers.
Public repository of the Micro QuickJS Javascript Engine
Deep learning gateway on Raspberry Pi and other edge devices
Labeling tool with SAM(segment anything model),supports SAM, SAM2, SAM3, sam-hq, MobileSAM EdgeSAM etc.交互式半自动图像标注工具
An open-source C++ library developed and used at Facebook.
https://github.com/json-c/json-c is the official code repository for json-c. See the wiki for release tarballs for download. API docs at http://json-c.github.io/json-c/
The C++ Standard Library for Parallelism and Concurrency
Tools for synching and streaming files from Windows to Linux
Litex is a simple formal language Learnable in 2 hours.
Awesome LLM Books: Curated list of books on Large Language Models
Welcome to the ultimate list of resources for formal verification techniques and tools. This repository aims to provide an organized collection of high-quality resources to help professionals, rese…
Structural C/C++ build system written in Rust, inspired by cargo
An Open Source Implementation of the Actor Model in C++
Experimental system for building OpenIPC firmware for known devices