Skip to content

jiegec/awesome-stars

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

51 Commits
 
 

Repository files navigation

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#

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

About

Awesome List of my own!

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published