Madder

Madder's Stars

• neovim/neovim

  Vim-fork focused on extensibility and usability

  Language:Vim Script83k97611.9k5.7k

• angular/angular.js

  AngularJS - HTML enhanced for web apps!

  Language:JavaScript58.8k3.8k9k27.5k

• BVLC/caffe

  Caffe: a fast open framework for deep learning.

  Language:C++34.1k2.1k4.8k18.7k

• adobe/brackets

  An open source code editor for the web, written in JavaScript, HTML and CSS.

  Language:JavaScript33.3k1.6k9.7k7.6k

• bitcoinbook/bitcoinbook

  Mastering Bitcoin 3rd Edition - Programming the Open Blockchain

  Language:HTML23.5k1.1k3916k

• clojure/clojure

  The Clojure programming language

  Language:Java10.5k68101.5k

• django-cms/django-cms

  The easy-to-use and developer-friendly enterprise CMS powered by Django

  Language:Python10.2k3973.5k3.1k

• numba/numba

  NumPy aware dynamic Python compiler using LLVM

  Language:Python9.9k1995.3k1.1k

• pocoproject/poco

  The POCO C++ Libraries are powerful cross-platform C++ libraries for building network- and internet-based applications that run on desktop, server, mobile, IoT, and embedded systems.

  Language:C8.4k4122.9k2.2k

• google/traceur-compiler

  Traceur is a JavaScript.next-to-JavaScript-of-today compiler

  Language:JavaScript8.2k2761.1k581

• fpinscala/fpinscala

  Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"

  Language:Scala5.7k3144143k

• ocaml/ocaml

  The core OCaml system: compilers, runtime system, base libraries

  Language:OCaml5.5k2057.5k1.1k

• pyston/pyston_v1

  The previous version of Pyston, a faster implementation of the Python programming language. Please use this link for the new repository:

  4.9k248275289

• llvm-mirror/llvm

  Project moved to: https://github.com/llvm/llvm-project

  Language:LLVM4.6k28302.1k

• idris-lang/Idris-dev

  A Dependently Typed Functional Programming Language

  Language:Haskell3.4k1192.3k644

• FStarLang/FStar

  A Proof-oriented Programming Language

  Language:F*2.7k792k232

• maxme/bitcoin-arbitrage

  Bitcoin arbitrage - opportunity detector

  Language:Python2.5k28342855

• solodon4/Mach7

  Functional programming style pattern-matching library for C++

  Language:C++1.3k665779

• leksah/leksah

  Haskell IDE

  Language:Haskell97848422109

• oakes/play-clj

  A Clojure game library

  Language:Clojure939558073

• densh/scala-offheap

  Experimental type-safe off-heap memory for Scala.

  Language:Scala532386035

• TiarkRompf/virtualization-lms-core

  A Framework for Runtime Code Generation and Compiled DSLs

  Language:Scala324404991

• epfl-lara/leon

  The Leon system for verification, synthesis, repair

  Language:Scala162256249

• bscarlet/llvm-general

  Rich LLVM bindings for Haskell (with transfer of LLVM IR to and from C++, detailed compilation pass control, etc.)

  Language:Haskell1321614438

• reactive-ipc/reactive-ipc-jvm

  Reactive IPC for the JVM

  Language:Java5593013

• andralex/phobos

  Runtime library for the D programming language

  Language:D26503