Deian Stefan's repositories
Adv360-Pro-ZMK
Production repository for the all-new Advantage360 Professional using ZMK engine
mocha-examples
Working examples of common configurations using mocha ☕️
CUDA-CubeAttack
CubeAttack framework implemented in CUDA (TRIVIUM & MICKEY as example targets)
git-ssh-server
SSH server for handling git-{upload,receive}-pack with custom authentication
wasmtime
Standalone JIT-style runtime for WebAssembly, using Cranelift
GSOC2020
Mozilla and GSOC 2020
libattr-hs
bindings to libattr for haskell
stackage
"Stable Hackage": vetted consistent packages from Hackage
CTFP
Constant-Time Floating Point
node
Node.js JavaScript runtime :sparkles::turtle::rocket::sparkles:
lio-semantics
Formal semantics for LIO
ecma262
Status, process, and documents for ECMA262
harmony-reflect
ES5 shim for ES6 Reflect and Proxy objects
node-tap
Test Anything Protocol tools for node
webappsec
Fork of WebAppSec [PRs/issues should be submitted to w3c]
simple-hooks
Simple function hooks
level-packager
LevelUP package helper for distributing with a LevelDOWN-compatible back-end
degoes-consulting.github.io
The public website for De Goes Consulting Inc.
code-sample-rio
Idea about Safe Haskell/RIO/LIO
lambdachair
A simple conference review system.
nsdi2014
Tex files for COWL (aka Nappy, aka SWAPI, aka Browbound) paper