thyecust

thyecust's Stars

• tauri-apps/tauri

  Build smaller, faster, and more secure desktop applications with a web frontend.

  Language:Rust79.9k4994.1k2.4k

• home-assistant/core

  :house_with_garden: Open source home automation that puts local control and privacy first.

  Language:Python70k1.3k50.4k29k

• nocodb/nocodb

  🔥 🔥 🔥 Open Source Airtable Alternative

  Language:TypeScript43.8k3633.3k3k

• google/zx

  A tool for writing better scripts

  Language:JavaScript42.4k1554031.1k

• Kong/kong

  🦍 The Cloud-Native API Gateway and AI Gateway.

  Language:Lua38.4k1k4.4k4.8k

• vim/vim

  The official Vim repository

  Language:Vim Script35.6k6778.1k5.3k

• zhongyang219/TrafficMonitor

  这是一个用于显示当前网速、CPU及内存利用率的桌面悬浮窗软件，并支持任务栏显示，支持更换皮肤。

  Language:C++33.4k2711.6k3.2k

• Wilfred/difftastic

  a structural diff that understands syntax 🟥🟩

  Language:Rust20k59568323

• openjdk/jdk

  JDK main-line development https://openjdk.org/projects/jdk

  Language:Java19k32605.3k

• kovidgoyal/calibre

  The official source code repository for the calibre ebook manager

  Language:Python18.9k38302.2k

• facebook/infer

  A static analyzer for Java, C, C++, and Objective-C

  Language:OCaml14.8k6041.4k2k

• analysis-tools-dev/static-analysis

  ⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.

  Language:Rust13.1k3195751.3k

• semgrep/semgrep

  Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

  Language:OCaml10.1k1022.9k585

• square/okio

  A modern I/O library for Android, Java, and Kotlin Multiplatform.

  Language:Kotlin8.7k2664881.2k

• curlconverter/curlconverter

  Transpile curl commands into Python, JavaScript and 27 other languages

  Language:TypeScript7.3k73305896

• rescript-lang/rescript-compiler

  The compiler for ReScript.

  Language:ReScript6.6k1312.5k440

• boyter/scc

  Sloc, Cloc and Code: scc is a very fast accurate code counter with complexity calculations and COCOMO estimates written in pure Go

  Language:Go6.3k38277250

• rstudio/cheatsheets

  Posit Cheat Sheets - Can also be found at https://posit.co/resources/cheatsheets/.

  Language:TeX5.7k23201.8k

• dekuNukem/daytripper

  Hide-My-Windows Laser Tripwire

  Language:C3.7k6828169

• waf/CSharpRepl

  A command line C# REPL with syntax highlighting – explore the language, libraries and nuget packages interactively.

  Language:C#2.7k2318198

• merrymercy/awesome-tensor-compilers

  A list of awesome compiler projects and papers for tensor computation and deep learning.

  2.3k1081288

• stateright/stateright

  A model checker for implementing distributed systems.

  Language:Rust1.5k233155

• yallop/effects-bibliography

  A collaborative bibliography of work related to the theory and practice of computational effects

  92760480

• ekzhang/percival

  📝 Web-based, reactive Datalog notebooks for data analysis and visualization

  Language:Rust59515725

• granule-project/granule

  A statically-typed linear functional language with graded modal types for fine-grained program reasoning

  Language:Haskell5723014833

• hughpyle/ASR33

  Using a Teletype Model 33 electromechanical terminal (https://twitch.tv/33asr)

  Language:Python1871336

• semgrep/pfff

  pfff is mainly an OCaml API to write static analysis, dynamic analysis, code visualizations, code navigations, or style-preserving source-to-source transformations such as refactorings on source code.

  186292727

• QilinPTA/Qilin

  Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis

  Language:Java11710630

• mununki/moonbit-wasm-game-of-life

  Game of life in MoonBit

  Language:JavaScript16111

• EASE010/EASE010.github.io

  Language:JavaScript2