aartamonau

aartamonau's Stars

• EbookFoundation/free-programming-books

  :books: Freely available programming books

  Language:HTML343k9.8k1.2k62.1k

• papers-we-love/papers-we-love

  Papers from the computer science community to read and discuss.

  Language:Shell89.2k3.1k2435.8k

• google/grumpy

  Grumpy is a Python to Go source code transcompiler and runtime.

  Language:Go10.5k389139647

• mozilla/shumway

  Shumway is a Flash VM and runtime written in JavaScript

  Language:TypeScript3.7k204844398

• IHaskell/IHaskell

  A Haskell kernel for the Jupyter project.

  Language:Jupyter Notebook2.6k51788256

• cznic/ql

  github.com/cznic/ql has moved to modernc.org/ql

  Language:Go1.3k7017075

• faylang/fay

  A proper subset of Haskell that compiles to JavaScript

  Language:Haskell1.3k7033489

• ucsd-progsys/liquidhaskell

  Liquid Types For Haskell

  Language:Haskell1.2k291.2k138

• Malabarba/smart-mode-line

  A powerful and beautiful mode-line for Emacs.

  Language:Emacs Lisp9061920954

• brho/plan9

  UC Berkeley release of Plan 9 under the GPLv2

  Language:C680770125

• HeinrichApfelmus/threepenny-gui

  GUI framework that uses the web browser as a display.

  Language:Haskell4401914977

• dacap/keyfreq

  Track Emacs commands frequency

  Language:Emacs Lisp32371925

• uwiger/locks

  A scalable, deadlock-resolving resource locker

  Language:Erlang204292026

• BurntSushi/ty

  Easy parametric polymorphism at run time using completely unidiomatic Go.

  Language:Go19713221

• lenary/idris-erlang

  Erlang Backend for Idris Compiler

  Language:Haskell18825415

• axel22/Ctries

  Scala implementation of the Ctrie datastructure.

  Language:Scala17413214

• mchakravarty/language-c-inline

  Inline C & Objective-C in Haskell

  Language:Haskell146204315

• edsrzf/gofmt-git-hook

  A Git pre-commit hook that checks formatting of Go code

  Language:Shell1344317

• cofi/evil-numbers

  Increment and decrement numbers in Emacs

  Language:Emacs Lisp1199823

• pigworker/MetaprogAgda

  being the materials for Summer 2013's course

  11120018

• dterei/Research-Papers

  Collection of various research papers I find interesting

  8614016

• nominolo/lambdachine

  VM and tracing JIT for Haskell (work in progress)

  Language:Haskell7717168

• MateVM/MateVM

  A Java JIT compiler written in Haskell

  Language:Java72814

• thoughtpolice/strict-ghc-plugin

  A plugin for GHC to turn Haskell into a strict language

  Language:Haskell27811

• emptyflash/yinlang

  ML-style language that compiles to GLSL for livecoding visuals

  Language:Haskell90120

• tanakh/generic-pretty

  Pretty Printing for Generic data

  Language:Haskell9322

• christiaanb/SoOSiM

  Abstract full system simulator

  Language:Haskell8202

• jvranish/FixedList

  Fixed length list type for Haskell

  Language:Haskell6410

• alk/maxi

  originally couchbase proxy project now just quick couchbase loader in go

  Language:Go4201

• brianshumate/a-little-coffee-guidebook

  :coffee: A litte coffee guidebook

  110