- Shanghai
Stars
- All languages
- Assembly
- Batchfile
- C
- C#
- C++
- CSS
- CWeb
- Clojure
- Common Lisp
- Coq
- Crystal
- Cython
- DIGITAL Command Language
- Dart
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- Go
- Go Template
- Groovy
- HTML
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Just
- KiCad Layout
- Kotlin
- LLVM
- Lua
- MDX
- MLIR
- Makefile
- Markdown
- Meson
- Nim
- Nunjucks
- OCaml
- Objective-C
- PHP
- Perl
- PowerShell
- Prolog
- Python
- R
- Rocq Prover
- Ruby
- Rust
- SMT
- Sail
- Sass
- Scala
- Scheme
- Shell
- Solidity
- Standard ML
- Starlark
- Svelte
- Swift
- SystemVerilog
- TSQL
- Tcl
- TeX
- TypeScript
- VHDL
- Vala
- Verilog
- Vim Script
- Vue
- Zig
- hoon
A browser automation framework and ecosystem.
Apache Kafka - A distributed event streaming platform
A Java serialization/deserialization library to convert Java Objects into JSON and back
Ip2region is an offline IP-to-Region localization library and IP data management framework with both IPv4 and IPv6 supports, 10-microsecond level query efficiency, xdb search client for many progra…
MIT Deep Learning Book in PDF format (complete and parts) by Ian Goodfellow, Yoshua Bengio and Aaron Courville
Tink is a multi-language, cross-platform, open source library that provides cryptographic APIs that are secure, easy to use correctly, and hard(er) to misuse.
Guice (pronounced 'juice') is a lightweight dependency injection framework for Java 11 and above, brought to you by Google.
Catch common Java mistakes as compile-time errors
Digital logic design tool and simulator
A digital logic designer and circuit simulator.
Multiple samples showing the best practices in views-widgets on Android.
Multiple samples showing the best practices in connectivity on Android.
A collection of reverse engineering challenges for learning about the Android operating system and mobile security.
TLS-Anvil, a fully automated TLS testsuite for client and servers.