Lists (8)
Sort Name ascending (A-Z)
Stars
- All languages
- ATS
- Ada
- Agda
- Assembly
- BQN
- Batchfile
- C
- C++
- C3
- CMake
- Chapel
- Common Lisp
- Coq
- Crystal
- D
- Dart
- Dylan
- Elixir
- Emacs Lisp
- Erlang
- Futhark
- Go
- HTML
- Haskell
- Haxe
- Idris
- Java
- JavaScript
- Koka
- Kotlin
- LLVM
- Lean
- Logtalk
- Lua
- MDX
- Markdown
- Mercury
- Nim
- OCaml
- Objective-C
- Odin
- PHP
- Pascal
- Pony
- Prolog
- PureScript
- Python
- ReScript
- Reason
- Red
- Rocq Prover
- Rust
- Scheme
- Self
- Shell
- Smalltalk
- Standard ML
- TeX
- TypeScript
- V
- Vala
- Vim Script
- Wren
- Zig
- eC
A curated list of Apache Kafka learning resources
Android VPN client with DNS tunneling (DNSTT, NoizDNS & Slipstream), NaiveProxy, SSH, Tor, and DoH support — featuring a built-in DNS scanner.
LALR parser generator targetting C, C++, Python, JavaScript, JSON and XML
ares is a cross-platform, open source, multi-system emulator, focusing on accuracy and preservation.
Tools and libraries to work with AppStream metadata
Go compiler for small places. Microcontrollers, WebAssembly (WASM/WASI), and command-line tools. Based on LLVM.
The "batteries included" extended library for the Lean programming language and theorem prover
Modern web framework for building websites in Dart. Supports SPAs, SSR and SSG.
An extensible Java library for HTTP request and response logging
An extensive library and tooling for building console/cli applications and scripts using the Dart programming language.
Seamless multi-primary syncing database with an intuitive HTTP/JSON API, designed for reliability
Vitess is a database clustering system for horizontal scaling of MySQL.