b-rich Goto Github PK

l4v

seL4 specification and proofs

lab7genomics

lambdabot

A fork of lambdabot to track the version used by #haskell

lambdabot-1

Lambdabot is a development tool and advanced IRC bot

lambdabot-utils

A fork of lambdabot-utils to track the version used by #haskell

lamp

Re-writing of original MO Lamp script to work for AWS environments

lamport

hash based digital signatures, XMSS, quantum resistant

languagelearning

Language Learning - Translation

lanscan

Local Area Network Sniff

laravel

lasagne

Lightweight library to build and train neural networks in Theano

lazy

Library of Quantum Many Body Algorithms in Simple Implementations

ld31test

Ludum Dare 31 -- Test Repository

leaf_carwings_easyaccess

One-click access to LEAF Carwings remote actions

leaftletwidget

An IPython Widget for Leaflet Maps

learn-algorithms

算法学习笔记

learn-cryptography

learn-rails

An example Rails 4.0 app to accompany the "Learn Ruby on Rails" book.

learn2go

Learning how to program in go, from the beginnings to proficiency!

learnbytrace

A Django application for organizing and viewing code traces to help learn algorithms.

learning_gem5

Learning gem5 is a work-in-progress book to help gem5 users get started using gem5.

learning_site

Course instruction and learning or re-skilling.

learnpygame

learnpython

learntosolveit

Learn How to Solve a problem using your favorite programming language.

ledgertron

A Google App Engine program to keep track of debts between a small number of people.

leeroy

Jenkins integration with GitHub pull requests

leetcode

solutions of leetcode.com

letsencrypt-auto

lex-build

builds lexers in different languages