deian
Follow
-
tock-veri-asm-sb Public
Forked from PLSysSec/tock-veri-asmA sandbox repo for reasoning about inline assembly in the Tock OS
Rust UpdatedNov 24, 2024 -
-
-
Adv360-Pro-ZMK Public
Forked from KinesisCorporation/Adv360-Pro-ZMKProduction repository for the all-new Advantage360 Professional using ZMK engine
Shell MIT License UpdatedDec 13, 2023 -
-
mocha-examples Public
Forked from mochajs/mocha-examplesWorking examples of common configurations using mocha ☕️
JavaScript Apache License 2.0 UpdatedAug 6, 2022 -
CUDA-CubeAttack Public
CubeAttack framework implemented in CUDA (TRIVIUM & MICKEY as example targets)
-
-
git-ssh-server Public
SSH server for handling git-{upload,receive}-pack with custom authentication
-
wasmtime Public
Forked from bytecodealliance/wasmtimeStandalone JIT-style runtime for WebAssembly, using Cranelift
Rust Apache License 2.0 UpdatedNov 24, 2020 -
GSOC2020 Public
Forked from mozilla/GSOC2020Mozilla and GSOC 2020
Mozilla Public License 2.0 UpdatedMar 16, 2020 -
libattr-hs Public
Forked from eklitzke/libattr-hsbindings to libattr for haskell
-
stackage Public
Forked from commercialhaskell/stackage"Stable Hackage": vetted consistent packages from Hackage
Shell MIT License UpdatedJun 18, 2018 -
-
node Public
Forked from nodejs/nodeNode.js JavaScript runtime ✨🐢🚀✨
JavaScript Other UpdatedJun 1, 2017 -
lio-semantics Public
Forked from scslab/lio-semanticsFormal semantics for LIO
-
ecma262 Public
Forked from tc39/ecma262Status, process, and documents for ECMA262
HTML UpdatedAug 15, 2016 -
-
harmony-reflect Public
Forked from tvcutsem/harmony-reflectES5 shim for ES6 Reflect and Proxy objects
JavaScript Other UpdatedApr 20, 2016 -
statement-on-lambdaconf.github.io Public
Forked from statement-on-lambdaconf/statement-on-lambdaconf.github.ioHTML UpdatedApr 9, 2016 -
node-tap Public
Forked from tapjs/tapjsTest Anything Protocol tools for node
JavaScript ISC License UpdatedFeb 9, 2016 -
webappsec Public
Forked from w3c/webappsecFork of WebAppSec [PRs/issues should be submitted to w3c]
-
-
-
-
level-packager Public
Forked from Level/packagerLevelUP package helper for distributing with a LevelDOWN-compatible back-end
JavaScript MIT License UpdatedMay 9, 2015 -
degoes-consulting.github.io Public
Forked from degoes-consulting/degoes-consulting.github.ioThe public website for De Goes Consulting Inc.
HTML UpdatedApr 17, 2015 -
code-sample-rio Public
Forked from snoyberg/code-sample-rioIdea about Safe Haskell/RIO/LIO
Haskell UpdatedNov 18, 2014 -
-