Awesome Stars Awesome

A curated list of my GitHub stars! Generated by starred

Contents

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

AppleScript

Arc

Arduino

Assembly

Awk

Batchfile

Brainfuck

C

C#

C++

CMake

CSS

Clojure

CoffeeScript

Common Lisp

Coq

Crystal

D

Dart

Dockerfile

Elixir

Elm

Emacs Lisp

Erlang

F#

F*

Forth

Frege

Gherkin

Go

Groovy

HTML

Haskell

Haxe

Java

JavaScript

Julia

Jupyter Notebook

Kotlin

LLVM

Lua

M4

Makefile

Mathematica

Matlab

Max

  • Maktm/FLIRTDB - A community driven collection of IDA FLIRT signature files

Modelica

  • modelica/ModelicaStandardLibrary - Free (standard conform) library from the Modelica Association to model mechanical (1D/3D), electrical (analog, digital, machines), magnetic, thermal, fluid, control systems and hierarchical state machines. Also numerical functions and functions for strings, files and streams are included.
  • MarekMatejak/Physiolibrary - Modelica library for Physiology

NSIS

Nim

  • nim-lang/Nim - Nim is a compiled, garbage-collected systems programming language with a design that focuses on efficiency, expressiveness, and elegance (in that order of priority). https://nim-lang.org/

Nix

OCaml

Objective-C

Objective-C++

OpenEdge ABL

Others

PHP

PLpgSQL

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

Pascal

Perl

PowerShell

  • hotvulcan/Thanos.sh - if you are Thanos(root), this command could delete half your files randomly

Python

QML

R

Racket

Rascal

Roff

Ruby

Rust