thyecust's Stars
curlconverter/curlconverter
Transpile curl commands into Python, JavaScript and 27 other languages
waf/CSharpRepl
A command line C# REPL with syntax highlighting – explore the language, libraries and nuget packages interactively.
tauri-apps/tauri
Build smaller, faster, and more secure desktop applications with a web frontend.
kovidgoyal/calibre
The official source code repository for the calibre ebook manager
zhongyang219/TrafficMonitor
这是一个用于显示当前网速、CPU及内存利用率的桌面悬浮窗软件,并支持任务栏显示,支持更换皮肤。
square/okio
A modern I/O library for Android, Java, and Kotlin Multiplatform.
stateright/stateright
A model checker for implementing distributed systems.
Kong/kong
🦍 The Cloud-Native API Gateway and AI Gateway.
openjdk/jdk
JDK main-line development https://openjdk.org/projects/jdk
ekzhang/percival
📝 Web-based, reactive Datalog notebooks for data analysis and visualization
Wilfred/difftastic
a structural diff that understands syntax 🟥🟩
QilinPTA/Qilin
Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis
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.
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.
facebook/infer
A static analyzer for Java, C, C++, and Objective-C
rescript-lang/rescript-compiler
The compiler for ReScript.
semgrep/semgrep
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
rstudio/cheatsheets
Posit Cheat Sheets - Can also be found at https://posit.co/resources/cheatsheets/.
granule-project/granule
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
nocodb/nocodb
🔥 🔥 🔥 Open Source Airtable Alternative
google/zx
A tool for writing better scripts
hughpyle/ASR33
Using a Teletype Model 33 electromechanical terminal (https://twitch.tv/33asr)
home-assistant/core
:house_with_garden: Open source home automation that puts local control and privacy first.
dekuNukem/daytripper
Hide-My-Windows Laser Tripwire
KurtBestor/Hitomi-Downloader
:cake: Desktop utility to download images/videos/music/text from various websites, and more.
marmelab/react-admin
A frontend Framework for single-page applications on top of REST/GraphQL APIs, using TypeScript, React and Material Design
craigary/nobelium
A static blog build on top of Notion and NextJS, deployed on Vercel.
cov-lineages/pango-designation
Repository for suggesting new lineages that should be added to the current scheme
iamunhoz/treesimple-frontend
A web application that generates simplified syntax trees to be used as a clasroom tool for this topic.
ximing/fabric-photo
基于canvas的前端图片编辑器