ladrift's Stars
gatsbyjs/gatsby
The best React-based framework with performance, scalability and security built in.
0xAX/linux-insides
A little bit about a linux kernel
openfaas/faas
OpenFaaS - Serverless Functions Made Simple
clojure/clojure
The Clojure programming language
billryan/resume
An elegant \LaTeX\ résumé template. 大陆镜像 https://gods.coding.net/p/resume/git
docker-library/official-images
Primary source of truth for the Docker "Official Images" program
overtone/overtone
Collaborative Programmable Music
alda-lang/alda
A music programming language for musicians. :notes:
lampepfl/dotty
The Scala 3 compiler, also known as Dotty.
supercollider/supercollider
An audio server, programming language, and IDE for sound synthesis and algorithmic composition.
overtake/TelegramSwift
Source code of Telegram for macos on Swift 5.0
heathermiller/dist-prog-book
chaozh/MIT-6.824
Basic Sources for MIT 6.824 Distributed Systems Class
tallesl/Rich-Hickey-fanclub
"every time I watch one of his talks I feel like someone has gone in and organized my brain"
matthiasn/talk-transcripts
Transcripts of Clojure-related talks
magnars/.emacs.d
My personal emacs settings, and the ones used in @emacsrocks
namin/inc
an incremental approach to compiler construction
pkrumins/the-little-schemer
All the Scheme code examples from the book "The Little Schemer"
frenchy64/Logic-Starter
Starter Project for Introduction to Logic Programming with Clojure
readevalprintlove/black
Kenichi Asai's reflective programming language Black
webyrd/miniKanren-with-symbolic-constraints
Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.
hust-latex/hustthesis
:notebook_with_decorative_cover: An Unofficial Thesis Template in LaTeX for Huazhong University of Science and Technology
miniKanren/TheReasonedSchemer
Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.
pkrumins/the-seasoned-schemer
All the Scheme code examples from the book "The Seasoned Schemer"
binghe/informatica-public
Public code developed during my MSc study at University of Bologna
jsiek/B629-denotational
Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University
webyrd/linear-logic-multiset-rewriting
Logic for story telling!
zellio/incrementum
Incremental implementation of a scheme compiler
dvanhorn/dpc
Designing Programs with Class
mwand/cs5010f17