Stars
- All languages
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CodeQL
- Common Lisp
- Coq
- Crystal
- Cuda
- Cython
- Dart
- Dockerfile
- Erlang
- F#
- Go
- HTML
- Haskell
- Java
- JavaScript
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Lean
- Lua
- MDX
- Makefile
- Mermaid
- Mojo
- Nix
- OCaml
- Python
- Racket
- Rocq Prover
- Ruby
- Rust
- SMT
- Scala
- Scheme
- Shell
- Smalltalk
- Starlark
- Swift
- TeX
- TypeScript
- Verilog
- Vue
- WebAssembly
- Yacc
- Zig
- reStructuredText
The most complete DDS - Proven: Plenty of success cases. Looking for commercial support? Contact info@eprosima.com
Embedded Rust device crates for STM32 microcontrollers
Support for Zephyr applications written in Rust
Rust implementation of the Data Distribution Service (DDS)
a fast, scalable, multi-language and extensible build system
Bf-Tree is a modern read-write-optimized concurrent larger-than-memory range index in Rust from MS Research.
An interactive TLS-capable intercepting HTTP proxy for penetration testers and software developers.
Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.
OpenSSF Scorecard - Security health metrics for Open Source
Anki is a smart spaced repetition flashcard program
Pure and reproducible nix overlay of binary distributed rust toolchains
A companion to `rules_rust` which provides a much faster reimplementation of `crate_universe` and prevents the need for additional lockfiles and repinning.
Rules for importing Nixpkgs packages into Bazel.
Rust toolchains and rust-analyzer nightly for Nix [maintainers=@figsoda, @winterqt, @eureka-cpu]
Vald. A Highly Scalable Distributed Vector Search Engine
A Hardware Abstraction Layer (HAL) for embedded systems
Lints for kernel or embedded system development.
Heapless, `static` friendly data structures
Creates CycloneDX Software Bill of Materials (SBOM) from Rust (Cargo) projects
Independent verification of binary packages - Reproducible Builds
Compile Time Regular Expression in C++