Lists (5)
Sort Name ascending (A-Z)
- All languages
- Assembly
- C
- C#
- C++
- CMake
- Circom
- Clojure
- CoffeeScript
- Cuda
- D
- Dafny
- Dart
- Dockerfile
- Elixir
- Emacs Lisp
- F*
- Flix
- Go
- HTML
- Haskell
- Isabelle
- Java
- JavaScript
- Jupyter Notebook
- KCL
- Kotlin
- Lean
- Lua
- Makefile
- Markdown
- Motoko
- Nim
- OCaml
- PHP
- PLpgSQL
- PowerShell
- Prolog
- Python
- Racket
- Reason
- Ruby
- Rust
- SCSS
- SMT
- Scala
- Scheme
- Shell
- Solidity
- Starlark
- Swift
- SystemVerilog
- TSQL
- TeX
- TypeScript
- Vue
- WebAssembly
- XML
- Zig
Starred repositories
A professional cross-platform SSH/Sftp/Shell/Telnet/Tmux/Serial terminal.
proxychains - a tool that forces any TCP connection made by any given application to follow through proxy like TOR or any other SOCKS4, SOCKS5 or HTTP(S) proxy. Supported auth-types: "user/pass" fo…
A little fail-safe filesystem designed for microcontrollers
A lightweight, fast and reliable tun2socks
An embeddable fulltext search engine. Groonga is the successor project to Senna.
PGroonga is a PostgreSQL extension to use Groonga as index. PGroonga makes PostgreSQL fast full text search platform for all languages!
Transparent Proxy with cgroup v2。透明代理,配合v2ray/Qv2ray食用最佳
Securely and quickly copy data from source to target.
A FUSE wrapper that puts the littlefs in user-space
Monero (rx/0, rx/wow, rx/loki, defyx, rx/arq, rx/sfx, rx/keva, cn/0, cn/1, cn/2, cn/r, cn/fast, cn/half, cn/xao, cn/rto, cn/rwz, cn/zls, cn/double, cn/gpu, cn-lite/0, cn-lite/1, cn-heavy/0, cn-heav…
Build: LA.UM.6.3.r6-03300-sdm845.0-1
SSD1306 display drivers for STM32 using SPI. Completely non-blocking with use of interrupts and DMA.
Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-1986.