Lists (3)
Sort Name ascending (A-Z)
Stars
- All languages
- Ada
- Assembly
- Batchfile
- Bru
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- Coq
- Cuda
- Dart
- Dockerfile
- Elixir
- Erlang
- F#
- F*
- Go
- HCL
- HTML
- Handlebars
- Haskell
- Isabelle
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Kotlin
- Lean
- Lua
- M
- MATLAB
- MDX
- Makefile
- Markdown
- Mojo
- Nim
- Nix
- OCaml
- Objective-C
- PHP
- PLpgSQL
- Perl
- PostScript
- Prolog
- Python
- Racket
- RobotFramework
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SMT
- Sail
- Scala
- Shell
- Solidity
- Standard ML
- Starlark
- Swift
- SystemVerilog
- TLA
- TSQL
- TeX
- TypeScript
- V
- VHDL
- Verilog
- Vue
- WebAssembly
- YAML
- Zig
- templ
Dynolog is a telemetry daemon for performance monitoring and tracing. It exports metrics from different components in the system like the linux kernel, CPU, disks, Intel PT, GPUs etc. Dynolog also …
Given a Buck2 built project and a set of changes (e.g. from source control) compute the targets that may have changed. Sometimes known as a target determinator, useful for optimizing a CI system.
A Claude Skill to give your agent the ability to use a web browser
Browser automation CLI for AI agents
Bulk transcribe YouTube channels using local GPU or Modal cloud
OpenADR 3.0 VTN and VEN implementation in Rust
Building a modern alternative to Salesforce, powered by the community.
Personal CRM. Remember everything about your friends, family and business relationships.
LorenzMeier / Fast-RTPS
Forked from eProsima/Fast-DDSImplementation of RTPS Standard
A Rust crate to interact with OCI registries
Athena is a modern, practical language for proof engineering & natural deduction.
A Measurement-Driven Approach for System Software Engineers - Bilingual technical book (繁中/English) on benchmarking methodology, performance analysis, and optimization techniques.
Simple to use cross-platform BDD driver for black box testing
The core components of the L4Re operating system.
delegated, decentralized, capabilities based authorization token
LLM port of : https://github.com/boonzy00/ringmpsc
A high-performance, lock-free bounded MPSC channel in Zig — 968 M msg/s (16p) · 150 M msg/s batched SPSC · one-click reproducible.
Lock-free MPSC channel in Zig achieving 50+ billion messages/second via ring-decomposed architecture
Clean minimalist implementations of popular competitive programming algorithms
A hardware-aware guide to data structures for system software engineers.
Personal AI Notebooks. Organize files & webpages and generate notes from them. Open source, local & open data, open model choice (incl. local).
Production-ready KV-backed HNSW implementation in Rust using LMDB