- Seoul
-
18:53
(UTC +09:00)
Highlights
- Pro
Lists (32)
Sort Name ascending (A-Z)
apple-ios-macos-swift
arm64
compilers-programming-languages
concurrency
data-structures-algorithms
debugging
desktop-gui
dev-productivity-tools
dotnet
file-formats-and-protocols
formal-methods
functional-programming
graphics-game-dev
gui
hardware
haskell
latex
ml-ai
mobile-cross-platform
network-distributed-databases
nix
ocaml
os-embedded-firmware
performance
practices
riscv
rust
syssec-crypto-reversing
tui
utils
web-dev
zig
Stars
- All languages
- ASL
- Ada
- Agda
- Assembly
- BQN
- Bikeshed
- BitBake
- Bluespec
- C
- C#
- C++
- CMake
- CSS
- Clojure
- Common Lisp
- Coq
- Dafny
- Dart
- Dhall
- Dockerfile
- Elixir
- Emacs Lisp
- F#
- F*
- Flix
- Gleam
- Go
- HTML
- Hack
- Handlebars
- Haskell
- Isabelle
- Java
- JavaScript
- Jinja
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Lean
- Lua
- MDX
- MLIR
- Makefile
- Mojo
- Nim
- Nix
- OCaml
- Objective-C
- Objective-C++
- Odin
- Open Policy Agent
- PHP
- PLpgSQL
- PostScript
- Prolog
- Python
- RPM Spec
- Racket
- Reason
- RobotFramework
- Rocq Prover
- Ruby
- Rust
- SMT
- Sage
- Sail
- Scala
- Shell
- SmPL
- Standard ML
- Swift
- SystemVerilog
- TLA
- Tcl
- TeX
- Toit
- TypeScript
- Typst
- V
- VHDL
- Verilog
- Vim Script
- WebAssembly
- XQuery
- XSLT
- Zig
- eC
- reStructuredText
Fast parser for Saleae Logic 2 binary export format (Digital only)
SSH3: faster and rich secure shell using HTTP/3, checkout our article here: https://arxiv.org/abs/2312.08396 and our Internet-Draft: https://datatracker.ietf.org/doc/draft-michel-ssh3/
The pre-emptive time slicing scheduler, for Rust
Run any Linux process in a secure, unprivileged sandbox using Landlock. Think firejail, but lightweight, user-friendly, and baked into the kernel.
The dragon in the dark. A red team post exploitation framework for testing security controls during red team assessments.
A Go library for the Linux Landlock sandboxing feature
An implementation of the SMP protocol as used in zephyr, mcuboot, mcumgr, and more.
Rust crates for MCTP protocol support, on Linux and embedded
A Rust library that provides space-efficient, in-memory representations for integer vectors. It offers two complementary data structures: FixedVec, which uses fixed-width encoding for O(1) mutable …
A Rust implementation of ECMAScript's Temporal API
Simple Management Protocol (SMP) Client for remotely managing MCU firmware
Inception of Swift Baremetal implementation for ESP32-C6
Kotlin multiplatform / multi-format serialization
Java implementation of RFC 7049: Concise Binary Object Representation (CBOR)