rosenk's Stars
atilaneves/cmake-ide
Use Emacs as a C/C++ IDE
LuxLang/lux
The Lux Programming Language
Gabriella439/post-rfc
Blog post previews in need of peer review
tomahawkins/improve
An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checking. ImProve compiles to C and Simulink.
serras/lambdaconf-2015-web
Projects for LambdaConf 2015 Haskell web workshop
agrafix/funblog
A simple blog software written in Haskell
commercialhaskell/stack
The Haskell Tool Stack
evanpurkhiser/rEFInd-minimal
A stunningly clean theme for the rEFInd UEFI boot manager.
knupfer/haskell-emacs
Write Emacs extensions in Haskell
beeramtheman/99haskell
Live Haskell coding problems
Hrothen/Hubert
Toy web rendering engine in haskell
badges/shields
Concise, consistent, and legible badges in SVG and raster format
syl20bnr/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
haskell-servant/servant
Servat is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!
ksaveljev/yampa-2048
2048 game clone using Yampa FRP library
danielyule/hearthbreaker
A Hearthstone: Heroes of WarCraft Simulator for the purposes of Machine Learning and Data Mining
Andersbakken/rtags
A client/server indexer for c/c++/objc[++] with integration for Emacs based on clang.
bbatsov/projectile
Project Interaction Library for Emacs
idris-lang/Idris-dev
A Dependently Typed Functional Programming Language
koalaman/shellcheck
ShellCheck, a static analysis tool for shell scripts
ReactiveX/RxPY
ReactiveX for Python
jackpal/Taipei-Torrent
A(nother) Bittorrent client written in the go programming language
jlouis/combinatorrent
A bittorrent client written in Haskell