/awesome-stars

Awesome List of my own!

Awesome Stars Awesome

A curated list of my GitHub stars! Generated by starred.

Contents

AGS Script

  • splinedrive/kianRiscV - KianRISC-V! No RISC-V, no fun! RISC-V CPU with strong design rules and unittested! CPU you can trust! kianv rv32im risc-v a hdmi soc with harris computer architecture in verilog: multicycle, singlecyc
  • tinyfpga/TinyFPGA-Bootloader - An open source USB bootloader for FPGAs

ASL

  • dortania/Getting-Started-With-ACPI - Repo for Getting Started With ACPI
  • acpica/acpica - The ACPI Component Architecture (ACPICA) project provides an open-source operating system-independent implementation of the Advanced Configuration and Power Interface specification (ACPI). For detail
  • 5T33Z0/OC-Little-Translated - ACPI Hotpatches and Guides for the OpenCore Bootmanager. Enhance and fine-tune your system by adding devices and enabling additional features not covered in the OpenCore Install Guide.
  • daliansky/OC-little - ACPI Hotpatch Samples for the OpenCore Bootloader

ActionScript

Ada

Agda

  • pigworker/CS410-17 - being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde
  • juanbono/verified-fp-agda - Functional Verified Programming in Agda - Exercises

Arc

  • arclanguage/anarki - Community-managed fork of the Arc dialect of Lisp; for commit privileges submit a pull request.

Arduino

Assembly

Awk

  • soimort/translate-shell - 💬 Command-line translator using Google Translate, Bing Translator, Yandex.Translate, etc.

Batchfile

Bikeshed

Bluespec

  • WangXuan95/BSV_Tutorial_cn - 一篇全面的 Bluespec SystemVerilog (BSV) 中文教程，介绍了BSV的调度、FIFO数据流、多态等高级特性，展示了BSV相比于传统Verilog开发的优势。
  • csail-csg/riscy-OOO - RiscyOO: RISC-V Out-of-Order Processor
  • bluespec/Flute - RISC-V CPU, simple 5-stage in-order pipeline, for low-end applications needing MMUs and some performance

Brainfuck

C

C#

  • dnSpyEx/dnSpy - Unofficial revival of the well known .NET debugger and assembly editor, dnSpy
  • Azure/RingMaster - Configuration store with Notifications for Azure Service Fabric
  • Ryujinx/Ryujinx - Experimental Nintendo Switch Emulator written in C#
  • Archeb/opentrace - A cross-platform GUI wrapper for NextTrace. Bringing you the familiar traceroute experience. OpenTrace 是 NextTrace 的跨平台 GUI 界面，带来您熟悉但更强大的用户体验。
  • atemerev/skynet - Skynet 1M threads microbenchmark
  • RonSijm/ButtFish - Effortlessly transmitting Morse Code of chess moves to your butthole 💝
  • GZTimeWalker/GZCTF - The GZ::CTF project, an open source CTF platform.
  • HMBSbige/NatTypeTester - 测试当前网络的 NAT 类型（STUN）
  • thufv/CMinor-Verifier - 2022 年春季学期清华大学《软件分析与验证》课程实验平台
  • imbushuo/EnergyStar - A terrible application setting SV2 Efficiency Mode for inactive Windows apps and user background apps
  • imbushuo/BluetoothAudioCodecInspector - Inspects Windows Bluetooth A2DP Codec without WPA tooling
  • mono/mono - Mono open source ECMA CLI, C# and .NET implementation.
  • gusmanb/logicanalyzer - 24 channel, 100Msps logic analyzer hardware and software
  • mxgmn/MarkovJunior - Probabilistic language based on pattern matching and constraint propagation, 153 examples
  • carlospolop/PEASS-ng - PEASS - Privilege Escalation Awesome Scripts SUITE (with colors)
  • raspi/WinLLDPService - LLDP Service for Windows
  • dorssel/usbipd-win - Windows software for sharing locally connected USB devices to other machines, including Hyper-V guests and WSL 2.
  • SubtitleEdit/subtitleedit - the subtitle editor :)
  • the1812/Malware-Patch - 阻止**流氓软件的管理员授权. / Prevent UAC authorization of Chinese malware.
  • samhocevar/wincompose - 🔣 Compose Key for Windows
  • bflattened/bflat - C# as you know it but with Go-inspired tooling (small, selfcontained, and native executables)
  • microsoft/PowerToys - Windows system utilities to maximize productivity
  • microsoft/binskim - A binary static analysis tool that provides security and correctness results for Windows Portable Executable and *nix ELF binary formats
  • pavostudio/ExAPI - API for Live2DViewerEX
  • miniragnarok/Colorized-Historic-Moments - Replaces the historic moment art in Civilization 6 with custom colored art.
  • nkc3g4/wtg-assistant - Deploy Windows To Go on USB devices.
  • WOA-Project/WoA-Installer-Rpi - This repository was deprecated, use:
  • TheBerkin/rant3 - (Obsolete) Archive of Rant 3.x.
  • OpenRA/ra2 - A Red Alert 2 mod for the OpenRA game engine
  • OpenRA/OpenRA - Open Source real-time strategy game engine for early Westwood games such as Command & Conquer: Red Alert written in C# using SDL and OpenGL. Runs on Windows, Linux, *BSD and Mac OS X.
  • Harry-Chen/NaiveIME - Project 1 for Introduction to Artificial Intelligence course, Spring 2018, Tsinghua University
  • Harry-Chen/Connect4 - Project 2 for Introduction to Artificial Intelligence course, Spring 2018, Tsinghua University
  • Berrysoft/TsinghuaNet - 已停止维护，见 tunet-rust 项目。清华大学校园网客户端，适用于 UWP、iOS、Android。
  • dotnet/wpf - WPF is a .NET Core UI framework for building Windows desktop applications.
  • Jamesits/SvcGuest - Install any executable as a Windows service. (systemd compatible config!)
  • microsoft/FASTER - Fast persistent recoverable log and key-value store + cache, in C# and C++.
  • nukata/lisp-in-cs - A Lisp interpreter in C# 7
  • microsoft/VisualStudioUninstaller - Visual Studio Uninstallation sometimes can be unreliable and often leave out a lot of unwanted artifacts. Visual Studio Uninstaller is designed to thoroughly and reliably remove these unwanted artifac
  • chromelyapps/Chromely - Build Cross Platform HTML Desktop Apps on .NET using native GUI, HTML5, JavaScript, CSS, Owin, AspNetCore (MVC, RazorPages, Blazor)
  • mRemoteNG/mRemoteNG - mRemoteNG is the next generation of mRemote, open source, tabbed, multi-protocol, remote connections manager.
  • dotnet/orleans - Cloud Native application framework for .NET
  • Pathoschild/SMAPI - The modding API for Stardew Valley.
  • Helmut-Ortmann/lsp-csharp-analyzer - C# GUI to analyze code via a Language Server
  • rubicon-oss/LicenseHeaderManager - Manage license headers for your source code files in Visual Studio
  • dotnet/LLVMSharp - LLVM bindings for .NET Standard written in C# using ClangSharp
  • xen2/SharpLang - Compiles .NET/C# to native code using LLVM framework. No longer active, consider migrating to https://github.com/dotnet/corert
  • dotnet/corert - This repo contains CoreRT, an experimental .NET Core runtime optimized for AOT (ahead of time compilation) scenarios, with the accompanying compiler toolchain.
  • dafny-lang/dafny - Dafny is a verification-aware programming language
  • StyleCop/StyleCop - Analyzes C# source code to enforce a set of style and consistency rules.
  • matryx/calcflow - A virtual reality tool for mathematical modeling!
  • ppy/osu - rhythm is just a click away!
  • WEGFan/EdgeProfileViewer - A useful tool to view your Edge & Edge EX mobile version profile.
  • WEGFan/GeometryDashMiniLauncher - A small launcher for installing/disabling texture packs in Geometry Dash.
  • Mygod/EDGE - EDGE Related Projects
  • microsoft/VFSForGit - Virtual File System for Git: Enable Git at Enterprise Scale
  • Pryaxis/TShock - ☕️⚡️TShock provides Terraria servers with server-side characters, anti-cheat, and community management tools.
  • Pryaxis/TSAPI - 🛠🌳 The TShock Scaffold API enables developers to build plugins that hook directly into the Terraria game engine.
  • TEdit/Terraria-Map-Editor - TEdit - Terraria Map Editor - TEdit is a stand alone, open source map editor for Terraria. It lets you edit maps just like (almost) paint! It also lets you change world settings (time, bosses downed e
  • PowerShell/PowerShell - PowerShell for every system!
  • ShareX/ShareX - ShareX is a free and open source program that lets you capture or record any area of your screen and share it with a single press of a key. It also allows uploading images, text or other types of file
  • skw4y/iTunesBackupFileExtractor - Simple app that extract media files contained in iTunes backup.
  • icsharpcode/ILSpy - .NET Decompiler with support for PDB generation, ReadyToRun, Metadata (&more) - cross-platform!
  • inkle/ink - inkle's open source scripting language for writing interactive narrative.
  • Codeusa/Borderless-Gaming - Play your favorite games in a borderless window; no more time consuming alt-tabs.
  • Pash-Project/Pash - An Open Source reimplementation of Windows PowerShell, for Mono.
  • Mygod/ss-panel-checkin - Help people with those royal PitAs!
  • icsharpcode/AvalonEdit - The WPF-based text editor component used in SharpDevelop
  • mono/monodevelop - MonoDevelop is a cross platform .NET IDE
  • Mygod/MygodSpeechSynthesizer - Mygod Speech Synthesizer!
  • clojure/clojure-clr - A port of Clojure to the CLR, part of the Clojure project

C++

CMake

  • corrosion-rs/corrosion - Marrying Rust and CMake - Easy Rust and C/C++ Integration!
  • nanoant/CMakePCHCompiler - CMake precompiled header support via custom PCH compiler extension
  • foonathan/compatibility - unmaintained - CMake module to activate certain C++ standard, feature checks and appropriate automated workarounds - basically an improved version of cmake-compile-features
  • arsenm/sanitizers-cmake - CMake modules to help use sanitizers
  • cristeab/ios-cmake - A toolchain file and examples using cmake for iOS development (this is a fork of a similar project found on code.google.com)
  • stwunsch/gr-nacl - GNU Radio module for data encryption using NaCl library
  • grmartin/clion-go-lang-cmake - A CLion project with a Go (golang) test application using CMake with working live GDB Debug.
  • LuaDist/Repository - Repository of LuaDist modules available for installation using the luadist-git command line tool

CSS

Chapel

Cirru

Clojure

CoffeeScript

Common Lisp

Coq

  • riscv/sail-riscv - Sail RISC-V model
  • sifive/Kami - Kami - a DSL for designing Hardware in Coq, and the associated semantics and theorems for proving its correctness. Kami is inspired by Bluespec. It is actually a complete rewrite of an older version f
  • sifive/ProcKami - Kami based processor implementations and specifications
  • mit-frap/spring18 - Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2018
  • UniMath/UniMath - This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
  • math-comp/math-comp - Mathematical Components
  • antalsz/hs-to-coq - Convert Haskell source code to Coq source code
  • stepchowfun/proofs - My personal repository of formally verified mathematics.
  • AbsInt/CompCert - The CompCert formally-verified C compiler
  • jwiegley/coq-haskell - A library for formalizing Haskell types and functions in Coq

Crystal

Cuda

Cython

D

Dart

Dockerfile

Eagle

Earthly

Elixir

Elm

Emacs Lisp

Erlang

F#

F*

Fennel

Forth

Fortran

Frege

G-code

GLSL

  • Negurulxvv/Exposa-Shaders - My first ever clouds in my own shaders! It looks great! And it all happened because RRe36 helped me, thank you for helping me and thanks to the other developers! (will mention in shaderlabs discord)

Gherkin

Git Attributes

Go

Groovy

HCL

HTML

Haml

Handlebars

Haskell

Haxe

Isabelle

Java

JavaScript

Jinja

Jsonnet

Julia

Jupyter Notebook

Kaitai Struct

Kotlin

LLVM

LiveScript

Logos

Lua

M4

  • autoconf-archive/autoconf-archive - A mirror of the GNU Autoconf Archive, a collection of more than 500 macros for GNU Autoconf that have been contributed as free software by friendly supporters of the cause from all over the Internet.

MATLAB

  • davidvarga/MBeautifier - MBeautifier is a MATLAB source code formatter, beautifier. It can be used directly in the MATLAB Editor and it is configurable.

MDX

MLIR

Makefile

Markdown

  • tldr-pages/tldr - 📚 Collaborative cheatsheets for console commands
  • apple/swift-evolution - This maintains proposals for changes and user-visible enhancements to the Swift Programming Language.

Mathematica

Max

Mercury

  • DanTheMan827/ios-app-signer - This is an app for OS X that can (re)sign apps and bundle them into ipa files that are ready to be installed on an iOS device.

Modelica

  • modelica/ModelicaStandardLibrary - Free (standard conforming) library to model mechanical (1D/3D), electrical (analog, digital, machines), magnetic, thermal, fluid, control systems and hierarchical state machines. Also numerical functi
  • MarekMatejak/Physiolibrary - Modelica library for Physiology

Mustache

NSIS

Nim

  • nim-lang/Nim - Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, an

Nix

OCaml

Objective-C

Objective-C++

  • johnboiles/obs-mac-virtualcam - ARCHIVED! This plugin is officially a part of OBS as of version 26.1. See note below for info on upgrading. 🎉🎉🎉Creates a virtual webcam device from the output of OBS. Especially useful for streaming s
  • cbreak-black/ZetaWatch - ZFS OSX Menu Bar widget
  • KhronosGroup/MoltenVK - MoltenVK is a Vulkan Portability implementation. It layers a subset of the high-performance, industry-standard Vulkan graphics and compute API over Apple's Metal graphics framework, enabling Vulkan ap
  • rogual/neovim-dot-app - Mac OS X GUI for Neovim
  • textmate/textmate - TextMate is a graphical text editor for macOS 10.12 or later

OpenEdge ABL

OpenSCAD

Others