Lists (1)
Sort Name ascending (A-Z)
Stars
- All languages
- Assembly
- Astro
- BitBake
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Cuda
- Cython
- D
- Dart
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- F#
- Fortran
- Gnuplot
- Go
- HTML
- Handlebars
- Haskell
- Isabelle
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Just
- KiCad Layout
- Kotlin
- Lean
- Logos
- Lua
- MDX
- MLIR
- Makefile
- Markdown
- Mojo
- Nim
- OCaml
- Objective-C
- Objective-C++
- OpenSCAD
- PHP
- PLpgSQL
- Perl
- PostScript
- PowerShell
- Processing
- Prolog
- Python
- R
- Racket
- Rich Text Format
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Starlark
- Svelte
- Swift
- SystemVerilog
- Tcl
- TeX
- Toit
- TypeScript
- Typst
- VHDL
- Vala
- Verilog
- Vim Script
- Visual Basic 6.0
- Vue
- WebAssembly
- Wren
- Zig
Demonstrate all the questions on LeetCode in the form of animation.(用动画的形式呈现解LeetCode题目的思路)
Netty project - an event-driven asynchronous network application framework
🔥 Seata is an easy-to-use, high-performance, open source distributed transaction solution.
Apache RocketMQ is a cloud native messaging and streaming platform, making it simple to build event-driven applications.
The official home of the Presto distributed SQL query engine for big data
Style and Grammar Checker for 25+ Languages
APM, (Application Performance Management) tool for large-scale distributed systems.
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.
Enso Analytics is a self-service data prep and analysis platform designed for data teams.
JanusGraph: an open-source, distributed graph database
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Electronic Circuit Simulator in the Browser
Model-rocketry aerodynamics and trajectory simulation software
Logback JSON encoder and appenders
An HTML to PDF library for the JVM. Based on Flying Saucer and Apache PDF-BOX 2. With SVG image support. Now also with accessible PDF support (WCAG, Section 508, PDF/UA)!
DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not w…
Automatically exported from code.google.com/p/archive-patcher
FreeRouting interactive push & shove router
Development moved to https://github.com/opensciencemap/vtm