- All languages
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Clojure
- Common Lisp
- Coq
- Cuda
- Dart
- Dockerfile
- Emacs Lisp
- Erlang
- Forth
- GDScript
- Go
- HTML
- Handlebars
- Haskell
- HolyC
- Java
- JavaScript
- Jinja
- Jupyter Notebook
- Lua
- MATLAB
- Markdown
- NASL
- Nim
- OCaml
- PLpgSQL
- Perl
- Pug
- Python
- R
- Racket
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Svelte
- Swift
- SystemVerilog
- TeX
- TypeScript
- Vim Script
Starred repositories
General matrix multiplication of f32 and f64 matrices in Rust. Supports matrices with general strides.
A multiprocess drop-in replacement for Rust channels
A zlib implementation in rust available as a C dynamic library and as a rust crate
A cargo subcommand for displaying when Rust dependencies are out of date
CPP Implementation of "LightGlue: Local Feature Matching at Light Speed"
Xray panel supporting multi-protocol multi-user expire day & traffic & IP limit (Vmess, Vless, Trojan, ShadowSocks, Wireguard, Tunnel, Mixed, HTTP)
📜Advanced language tools for the Papyrus scripting language.
🦀 Supercharge your Rust experience in Neovim! A heavily modified fork of rust-tools.nvim
Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.
A fast, feature-rich static code analyzer & language server for Python
One Time Password (HOTP/TOTP) library for Node.js, Deno, Bun and browsers.
A minimal programming example for a chat server
Bear is a tool that generates a compilation database for clang tooling.
PLVS is a real-time SLAM system with points, lines, volumetric mapping and 3D unsupervised incremental segmentation.
open Multi-View Stereo reconstruction library
Curated list of papers and resources focused on 3D Gaussian Splatting, intended to keep pace with the anticipated surge of research in the coming months.