deian

git-ssh-server

SSH server for handling git-{upload,receive}-pack with custom authentication

gSTREAM

GPU eSTREAM framework

CUDA-CubeAttack

CubeAttack framework implemented in CUDA (TRIVIUM & MICKEY as example targets)

hails

gitstar

lio

Labeled IO Library Mirror

libattr-hs

bindings to libattr for haskell

lio-semantics

Formal semantics for LIO

simple-hooks

Simple function hooks

nsdi2014

Tex files for COWL (aka Nappy, aka SWAPI, aka Browbound) paper

Adv360-Pro-ZMK

Production repository for the all-new Advantage360 Professional using ZMK engine

ale-fs-helper

ale-fs-helper-evil

code-sample-rio

Idea about Safe Haskell/RIO/LIO

core

CTFP

Constant-Time Floating Point

degoes-consulting.github.io

The public website for De Goes Consulting Inc.

ecma262

Status, process, and documents for ECMA262

governance

GSOC2020

Mozilla and GSOC 2020

harmony-reflect

ES5 shim for ES6 Reflect and Proxy objects

lambdachair

A simple conference review system.

level-packager

LevelUP package helper for distributing with a LevelDOWN-compatible back-end

mocha-examples

Working examples of common configurations using mocha ☕️

node

Node.js JavaScript runtime :sparkles::turtle::rocket::sparkles:

node-tap

Test Anything Protocol tools for node

stackage

"Stable Hackage": vetted consistent packages from Hackage

statement-on-lambdaconf.github.io

wasmtime

Standalone JIT-style runtime for WebAssembly, using Cranelift

webappsec

Fork of WebAppSec [PRs/issues should be submitted to w3c]