Lists (28)
Sort Name ascending (A-Z)
AI agents
Android
Bash
C++
Computational Mathematics
Cryptography
cybersec
devops
Distributed systems
DS ML
Emacs
Fun
Go
Haskell
HFT
K8s fun
Linux
Math
Mechanistic interpretability
Nix/NixOS
nvim
Papers
Prompts
Python
Rust
Transhumanism
TypeScript
YouTube
Stars
- All languages
- Agda
- Assembly
- Astro
- Batchfile
- C
- C#
- C++
- CMake
- CSS
- Clojure
- Common Lisp
- Coq
- Cuda
- Dart
- Dockerfile
- Emacs Lisp
- F*
- Flix
- Go
- HCL
- HTML
- Handlebars
- Haskell
- Idris
- Java
- JavaScript
- Jupyter Notebook
- Just
- Kotlin
- LLVM
- Lean
- Lua
- MDX
- Makefile
- Markdown
- Mojo
- Mustache
- Nix
- OCaml
- PHP
- PLpgSQL
- Perl
- PowerShell
- PureScript
- Python
- QML
- Rocq Prover
- Roff
- Rust
- SCSS
- Scala
- Shell
- Swift
- TeX
- TypeScript
- Vala
- Vim Script
- Vue
- Zig
A framework for distributed systems verification, with fault injection
A native gRPC client & server implementation with async/await support.
Rust attribute macro to implement a trait for tuples
How to cross compile using nix (the secret is callPackage)
An action for automatically labelling pull requests
A workbench for writing toy implementations of distributed systems.
Generate Rust enum variants without associated data
A fast and ergonomic concurrent hashmap for read-heavy workloads.
High-performance wait-free memory reclamation for wait-free data structures (ASMR). Bounded memory usage, predictable latency.
Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.
Lightweight multi-format artifact registry. 13 formats: Docker, Maven, npm, PyPI, Cargo, Go, NuGet, RubyGems, Terraform, Conan, Ansible Galaxy, Dart Pub, and Raw. Single binary, zero dependencies, …
Click by the [vim/vimium] + [screen vision-recognition] way. Some tries to dump traditional mouse (experimental)
Kata Containers is an open source project and community working to build a standard implementation of lightweight Virtual Machines (VMs) that feel and perform like containers, but provide the workl…
A series of blog posts and talks about the world of containers 📦
Process isolation for Linux using namespaces, resource limits, cgroups, landlock and seccomp.
🗒️ An easy-setup configuration for NixVim, focused on straightforward customization.