layus Goto Github PK

ade-extractor

A simple script to extract agenda information from ADE

ade-to-ics

adventofcode

android_device_fp_fp1

bazel

a fast, scalable, multi-language and extensible build system

bazel-arm-none-eabi

ARM embedded toolchains for Bazel

bdcube

build

Build systems à la carte

buildbuddy

BuildBuddy is an open source Bazel build event viewer, result store, remote caching, and remote build execution platform.

canon-capt

An attempt to build Canon LBP printer driver (CAPT) using Nix (WIP)

conky

Light-weight system monitor for X.

dotfiles

fish-shell

The user-friendly command line shell.

fmt

A modern formatting library

gecko-dev

Read-only Git mirror of the Mercurial gecko repositories at https://hg.mozilla.org. How to contribute: http://bit.ly/contribute-code

gecko-tup

ghtorrent.org

The GHtorrent project website

hackage-server

Hackage-Server: A Haskell Package Repository

haskell-style-guide

A style guide for Haskell code.

hatgame

An online version of the celebrities/hat game.

heekscad

Computer-Aided Design application based on OCE

hello-github-actions

hnix

A Haskell re-implementation of the Nix expression language

hnix-overlay

Nix files and Haskell overlay containing Hnix packages and surrounding ecosystem

hnix-store

Haskell implementation of the nix store API

home-manager

Manage a user environment using Nix [maintainer=@rycee]

hvm

A massively parallel, optimal functional runtime in Rust

i3

A better tiling and dynamic window manager

i3lock

improved screen locker

inginious

INGInious is an intelligent grader that allows secured and automated testing of code made by students.