- Beijing, China
-
23:41
(UTC +08:00) - sharzy.in
Stars
- All languages
- ASL
- Agda
- Alloy
- Assembly
- Bluespec
- C
- C#
- C++
- CMake
- CSS
- Common Lisp
- Coq
- Cuda
- Dart
- Emacs Lisp
- Go
- HTML
- Haskell
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- Lean
- Lua
- MDX
- Makefile
- Mathematica
- Nix
- PostScript
- PowerShell
- Python
- Rocq Prover
- Rust
- SCSS
- Scala
- Shell
- Swift
- SystemVerilog
- TeX
- TypeScript
- Verilog
- Vue
An open documentation for the C/C++ programming languages and their standard libraries.
collection of benchmarks to measure basic GPU capabilities
A next-generation C++ language server for modern C++, focused on high performance and deep code intelligence
The official repository of Mozilla's Firefox web browser.
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
Extremely fast Query Engine for DataFrames, 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
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]