Lists (10)
Sort Name ascending (A-Z)
Stars
- All languages
- Boogie
- C
- C#
- C++
- CMake
- CSS
- CodeQL
- Coq
- Cuda
- Dockerfile
- Go
- HTML
- Handlebars
- Haskell
- Isabelle
- Java
- JavaScript
- JetBrains MPS
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- MDX
- MLIR
- Makefile
- Markdown
- Nushell
- OCaml
- PHP
- Perl
- Prolog
- Python
- Racket
- ReScript
- Rich Text Format
- RobotFramework
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SMT
- Sail
- Scala
- Shell
- Solidity
- Standard ML
- Starlark
- Swift
- SystemVerilog
- Tcl
- TeX
- TypeScript
- VHDL
- Verilog
- Zig
《Hello 算法》:动画图解、一键运行的数据结构与算法教程。支持简中、繁中、English、日本語,提供 Python, Java, C++, C, C#, JS, Go, Swift, Rust, Ruby, Kotlin, TS, Dart 等代码实现
Demonstrate all the questions on LeetCode in the form of animation.(用动画的形式呈现解LeetCode题目的思路)
Ghidra is a software reverse engineering (SRE) framework
Java 1-25 Parser and Abstract Syntax Tree for Java with advanced analysis functionalities.
Graphical Java application for managing BibTeX and BibLaTeX (.bib) databases
An easy-to-learn/use static analysis framework for Java
☕ SonarSource Static Analyzer for Java Code Quality and Security
Are We Fast Yet? Comparing Language Implementations with Objects, Closures, and Arrays
Build Customized FPGA Implementations for Vivado
Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis