Giter Site home page Giter Site logo

awesome-stars's Introduction

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

  • 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

D

Dart

Dockerfile

Eagle

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

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

  • yewstack/yew - Rust / Wasm framework for building client web apps

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

awesome-stars's People

Contributors

jiegec avatar

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.