silky Goto Github PK

lifx-diagrams

lifx-haskell

A Haskell library to control Lifx LED light bulbs

lifxlan

Python library for accessing LIFX devices locally using the official LIFX LAN protocol.

light-haskell

Haskell plugin for LightTable

light-paint

lighttable

The Light Table IDE

lightyear

Parser combinators for Idris

lilypond-tunes

Tunes transcribed or scripted in lilypond input format.

linalg

Linear algebra after Fortran

linear-base

Prototype basic libraries for Haskell with linear types

linear-examples

Example uses of linear types

linear-logic

Linear logic theorem prover and proof explorer

linear-logic-1

linear-types-talk-jan-2021

linearml

Functional language for parallel programming

link_src

A REST web server and optmization framework for solving geospatial graph problems

link_to_quantum_game

A quantum video game!

linux

Linux kernel source tree

linux-dash

A drop-in, low-overhead monitoring web dashboard for a linux machine.

linux_exploit_suggester

Linux Exploit Suggester; based on operating system release number

linuxconf-fashion-hacking

hacking from linuxconf au in nz in 2019

liquid

The Language-Integrated Quantum Operations (LIQUi|>) simulator

liquid-1

The Language-Integrated Quantum Operations (LIQUi|>) Simulator

liquid-dsp

digital signal processing library for software-defined radios

liquid-server

Web Server for Liquid-Types demos.

liquidhaskell

Liquid Types For Haskell

liquidhaskell-server

Persistent LiquidHaskell Server To Enable Fast Interactive/Incremental Checking

liquidsoap

Audio and video streaming language

liquorice

Haskell embedded domain-specific language (eDSL) for the algorithmic construction of maps for the computer game "Doom"

lisp-koans

Common Lisp Koans is a language learning exercise in the same vein as the ruby koans, python koans and others. It is a port of the prior koans with some modifications to highlight lisp-specific features. Structured as ordered groups of broken unit tests, the project guides the learner progressively through many Common Lisp language features.