tianhan0

tianhan0's Stars

• jtablesaw/tablesaw

  Java dataframe and visualization library

  Language:Java3.6k644

• GoogleChromeLabs/squoosh

  Make images smaller using best-in-class codecs, right in the browser.

  Language:TypeScript22.3k1.6k

• microsoft/BosqueLanguage

  The Bosque programming language is an experiment in regularized design for a machine assisted rapid and reliable software development lifecycle.

  Language:TypeScript5.2k297

• sosy-lab/benchexec

  BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

  Language:Python240202

• AppHouseKitchen/AlDente-Charge-Limiter

  Menubar Tool to set Charge Limits and Prolong Battery Lifespan

  Language:Swift8.1k301

• exelban/stats

  macOS system monitor in your menu bar

  Language:Swift27.1k896

• randyrants/sharpkeys

  SharpKeys is a utility that manages a Registry key that allows Windows to remap one key to any other key.

  Language:C#6.2k413

• sylvainhalle/textidote

  Spelling, grammar and style checking on LaTeX documents

  Language:Java94670

• microsoft/terminal

  The new Windows Terminal and the original Windows console host, all in the same place!

  Language:C++96.4k8.4k

• dafny-lang/dafny

  Dafny is a verification-aware programming language

  Language:C#3k266

• sosy-lab/sv-benchmarks

  Collection of Verification Tasks (MOVED, please follow the link)

  183169

• DafnyVSCode/Dafny-VSCode

  Dafny 2 for Visual Studio Code (Legacy)

  Language:TypeScript1812

• jakeday/linux-surface

  Linux Kernel for Surface Devices

  2.6k241

• zoidyzoidzoid/awesome-ebpf

  A curated list of awesome projects related to eBPF.

  4.4k374

• jgrapht/jgrapht

  Master repository for the JGraphT project

  Language:Java2.6k836

• typetools/checker-framework

  Pluggable type-checking for Java

  Language:Java1k357

• GoogleCloudPlatform/java-docs-samples

  Java and Kotlin Code samples used on cloud.google.com

  Language:Java1.8k2.8k

• github/semantic

  Parsing, analyzing, and comparing source code across many languages

  Language:Haskell9k452

• James-Yu/LaTeX-Workshop

  Boost LaTeX typesetting efficiency with preview, compile, autocomplete, colorize, and more.

  Language:TypeScript10.9k537

• MacDownApp/macdown

  Open source Markdown editor for macOS.

  Language:Rich Text Format9.5k1.1k

• hq450/fancyss_history_package

  科学上网插件的离线安装包储存在这里

  10.5k3.6k

• mattab/trello-backup

  Trello-Backup is a simple script that Backups all your Trello.com boards and cards, one JSON file per board, for total peace of mind. This is a simple php script which uses the Trello.com API to securely fetch all your boards and store them on your computer as raw JSON files.

  Language:PHP35773

• java-decompiler/jd-gui

  A standalone Java Decompiler GUI

  Language:Java14.3k2.4k

• Konloch/bytecode-viewer

  A Java 8+ Jar & Android APK Reverse Engineering Suite (Decompiler, Editor, Debugger & More)

  Language:Java14.8k1.2k

• iina/iina

  The modern video player for macOS.

  Language:Swift38.9k2.6k

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.5k1.5k

• jaywcjlove/awesome-mac

   Now we have become very big, Different from the original idea. Collect premium software in various categories.

  Language:JavaScript78.6k6.3k

• vhscampos/range-analysis

  Static range analysis for the LLVM compiler infrastructure.

  Language:Python5516

• diffblue/2ls

  Static Analyzer and Verifier

  Language:C++4624

• kamyu104/LeetCode

  :pencil: Python / C++ 11 Solutions of All LeetCode Questions

  Language:Python5.7k