Stars
- All languages
- ASL
- Agda
- Alloy
- Assembly
- Batchfile
- Bluespec
- C
- C#
- C++
- CMake
- CSS
- Common Lisp
- Coq
- Cuda
- Dart
- Emacs Lisp
- Go
- HTML
- Haskell
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- Lean
- Lua 8000
- Makefile
- Mathematica
- Nix
- PostScript
- PowerShell
- Python
- Rust
- Scala
- Shell
- Swift
- SystemVerilog
- TeX
- TypeScript
- Verilog
- Vue
Simple and powerful Python async inotify module
Firefox extension for managing tabs and bookmarks in sidebar.
Nix - Static, Permissionless, Installation-free, Pre-configured
Preview Markdown files locally before committing them.
Packet, where are you? -- eBPF-based Linux kernel networking debugger
Dataframes powered by a multithreaded, vectorized query engine, written in Rust
Build postprocessor to reset metadata fields for build reproducibility
Sioyek is a PDF viewer with a focus on textbooks and research papers
A minimal GPU design in Verilog to learn how GPUs work from the ground up
Apple Continuity Protocol Reverse Engineering and Dissector
🔒 End-to-end encrypted platform for photos, videos and 2FA secrets.
Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀
Static Value-Flow Analysis Framework for Source Code
Visualizing relationships between cryptographic primitives and number theoretic problems.
OTFeatureFreezer GUI app and pyftfeatfreeze commandline tool in Python to permanently "apply" OpenType features to fonts, by remapping their Unicode assignments
A random fuzz generator for the RISC-V vector extension intrinsics
Performance analysis tools based on Linux perf_events (aka perf) and ftrace
Nix language server, based on nix libraries [maintainer=@inclyc,@Aleksanaa]
Graphical client for the Soulseek peer-to-peer network
The repository provides code for running inference with the SegmentAnything Model (SAM), links for downloading the trained model checkpoints, and example notebooks that show how to use the model.