Skip to content

cocoonkid/awesome-stars

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

44 Commits
 
 

Repository files navigation

Awesome Stars Awesome

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

Contents

AGS Script

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

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

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

Java

JavaScript

Jinja

Jsonnet

Julia

Jupyter Notebook

Kaitai Struct

Kotlin

LLVM

LiveScript

Logos

Lua

MATLAB

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

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 from the Modelica Association to model mechanical (1D/3D), electrical (analog, digital, machines), magnetic, thermal, fluid, control systems and hierarchical state m
  • 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

Others

P4

PHP

PLpgSQL

  • bnagy/cgasm - We're insanely passionate about command line asm documentation in the cloud, and we're crushing it!
  • TryGhost/node-sqlite3 - SQLite3 bindings for Node.js

Pascal

Perl

PowerShell

Prolog

Python

About

Awesome List of my own!

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published