- All languages
- Agda
- C
- C#
- C++
- Coq
- Dart
- Dhall
- F#
- F*
- Flix
- Go
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Jinja
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Lua
- Makefile
- Markdown
- OCaml
- ObjectScript
- PHP
- Pascal
- PowerShell
- Python
- Racket
- Raku
- ReScript
- Reason
- Rocq Prover
- Ruby
- Rust
- Scala
- Shell
- Standard ML
- TeX
- TypeScript
- Vim Script
- Vue
- Zig
Starred repositories
A terminal workspace with batteries included
Sync notes between local and cloud with smart conflict: S3 (Amazon S3/Cloudflare R2/Backblaze B2/...), Dropbox, webdav (NextCloud/InfiniCLOUD/Synology/...), OneDrive, Google Drive (GDrive), Box, pC…
Download song lyrics and metadata from Genius.com 🎶🎤
A fuse filesystem to access the contents of iOS devices
NTFUZZ: Enabling Type-Aware Kernel Fuzzing on Windows with Static Binary Analysis (IEEE S&P '21)
Generate json schema from ocaml type
Infer TS types from JSON schemas 📝
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
OCaml ppx to include binary data from a file as a string
A small ppx that adds source code location to your Logs calls.
A Minecraft Mod about Matter, Energy and using them to conquer the world..
A custom launcher for Minecraft that allows you to easily manage multiple installations of Minecraft at once
📖 Unofficial WireGuard Documentation: Setup, Usage, Configuration, and full example setups for VPNs supporting both servers & roaming clients.
Tracker for issues specific to Linux and Mac in the Reborn client. If you have a general issue or non-system-specific feature request please go to dev.dota2.com
An enterprise-class UI design language and React UI library
PG'OCaml provides an interface to PostgreSQL databases for OCaml applications. It uses Camlp4 to extend the OCaml syntax, enabling one to directly embed SQL statements inside the OCaml code.
Mirror only. Official repository is at https://git.zx2c4.com/wireguard-android
Mirror only. Official repository is at https://git.zx2c4.com/wireguard-tools