Pinned Repositories
blaze-html
A blazingly fast HTML combinator library for Haskell.
CUDA-CubeAttack
CubeAttack framework implemented in CUDA (TRIVIUM & MICKEY as example targets)
dclabel
The Disjunction Category Label Format
git-ssh-server
SSH server for handling git-{upload,receive}-pack with custom authentication
gitstar
gSTREAM
GPU eSTREAM framework
hails
iterIO
iterio-server
Generic building blocks for creating servers using IterIO
lbh
Learn by Hacking. A web app for writing interactive tutorials on how to write code.
deian's Repositories
deian/git-ssh-server
SSH server for handling git-{upload,receive}-pack with custom authentication
deian/gSTREAM
GPU eSTREAM framework
deian/CUDA-CubeAttack
CubeAttack framework implemented in CUDA (TRIVIUM & MICKEY as example targets)
deian/gitstar
deian/lio
Labeled IO Library Mirror
deian/lio-semantics
Formal semantics for LIO
deian/libattr-hs
bindings to libattr for haskell
deian/simple-hooks
Simple function hooks
deian/Adv360-Pro-ZMK
Production repository for the all-new Advantage360 Professional using ZMK engine
deian/ale-fs-helper
deian/ale-fs-helper-evil
deian/babylon-networks
deian/code-sample-rio
Idea about Safe Haskell/RIO/LIO
deian/core
deian/CTFP
Constant-Time Floating Point
deian/degoes-consulting.github.io
The public website for De Goes Consulting Inc.
deian/ecma262
Status, process, and documents for ECMA262
deian/governance
deian/GSOC2020
Mozilla and GSOC 2020
deian/harmony-reflect
ES5 shim for ES6 Reflect and Proxy objects
deian/lambdachair
A simple conference review system.
deian/level-packager
LevelUP package helper for distributing with a LevelDOWN-compatible back-end
deian/mocha-examples
Working examples of common configurations using mocha ☕️
deian/node
Node.js JavaScript runtime :sparkles::turtle::rocket::sparkles:
deian/node-tap
Test Anything Protocol tools for node
deian/stackage
"Stable Hackage": vetted consistent packages from Hackage
deian/statement-on-lambdaconf.github.io
deian/tock-veri-asm-sb
A sandbox repo for reasoning about inline assembly in the Tock OS
deian/wasmtime
Standalone JIT-style runtime for WebAssembly, using Cranelift
deian/webappsec
Fork of WebAppSec [PRs/issues should be submitted to w3c]