tniessen
Follow
-
cubicrypt Public
Secure datagram transmissions over untrusted channels, designed for CubeSats 📡🔐🛰
-
node-pqclean Public
PQClean for Node.js, Deno, and browsers 🔏🔑 Node.js native addon and WebAssembly implementation
-
libuv Public
Forked from libuv/libuvCross-platform asynchronous I/O
C MIT License UpdatedFeb 25, 2025 -
node Public
Forked from nodejs/nodeNode.js JavaScript runtime ✨🐢🚀✨
-
littlefs-ringbuffer Public
Circular buffers backed by littlefs files, for resource-constrained devices
-
btoep Public
Toolset for reliably assembling files from partial transmissions 🛰️🌎
-
node-mceliece-nist Public
Node.js bindings for the reference implementation of the Classic McEliece KEM.
-
cronwrap-alert Public
Simple wrapper for cron jobs that posts alerts on error, written in Rust
-
hyena0 Public
Prototype implementation of a hyperbug finder for ∀∃-safety hyperproperties to accompany the OOPSLA 2024 paper "Finding ∀∃ Hyperbugs using Symbolic Execution" by Arthur Correnson, Tobias Nießen, Be…
-
littlefs-disk-img-viewer Public
Memory-efficient web application for viewing littlefs disk images in a web browser.
-
rust-by-example Public
Forked from rust-lang/rust-by-exampleLearn Rust with examples (Live code editor included)
Handlebars Apache License 2.0 UpdatedSep 6, 2024 -
-
egglog Public
Forked from egraphs-good/egglogegraphs + datalog!
-
ada Public
Forked from ada-url/adaWHATWG-compliant and fast URL parser written in modern C++
-
vcard4-rs Public
Forked from tmpfs/vcard4Fast and correct vCard parser for RFC6350
Rust UpdatedJun 28, 2024 -
tokio Public
Forked from tokio-rs/tokioA runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
Rust MIT License UpdatedJun 27, 2024 -
-
rust Public
Forked from rust-lang/rustEmpowering everyone to build reliable and efficient software.
-
octocrab Public
Forked from XAMPPRocky/octocrabA modern, extensible GitHub API Client for Rust.
-
libsodium Public
Forked from jedisct1/libsodiumA modern, portable, easy to use crypto library.
-
TSC Public
Forked from nodejs/TSCThe Node.js Foundation Technical Steering Comittee
2 UpdatedFeb 15, 2024 -
nodejs.org Public
Forked from nodejs/nodejs.orgThe Node.js website.
-
PQClean Public
Forked from PQClean/PQCleanClean, portable, tested implementations of post-quantum cryptography
-
libgit2 Public
Forked from libgit2/libgit2A cross-platform, linkable library implementation of Git that you can use in your application.
-
node-synchronous-channel Public
Synchronous message channel for inter-thread communication
-
constexpr-secded Public
Header-only implementation of SECDED encoding as C/C++ constant expressions
-
deno-docs Public
Forked from denoland/docsDocusaurus site for a unified Deno docs experience
-
aiger-safety-properties Public
AIGER files designed by hand, for testing (and limited benchmarking) of new model checkers
-
libsodium-doc Public
Forked from jedisct1/libsodium-docGitbook documentation for libsodium
-