Pinned Repositories
BLAKE3
the official Rust and C implementations of the BLAKE3 cryptographic hash function
0x0FFH
Config files for my GitHub profile.
BLAKE3
the official Rust and C implementations of the BLAKE3 cryptographic hash function
chokidar
Minimal and efficient cross-platform file watching library
coq-lsp
Visual Studio Code Extension and Language Server Protocol for Coq
eml
An experimental concurrent, hierarchical, event-based state machine programming language intended for implementing distributed management systems and modeling complex protocols.
lambda0xE
Config files for my GitHub profile.
Zmap-ProxyScanner
A Thread Safe fast way to find proxies. Find 2000-5000 working http,socks4,socks5 proxies in one scan.
blake3-ocaml
An implementation of the BLAKE3 cryptographic hash function.
reason
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
lambda0xE's Repositories
lambda0xE/chokidar
Minimal and efficient cross-platform file watching library
lambda0xE/Zmap-ProxyScanner
A Thread Safe fast way to find proxies. Find 2000-5000 working http,socks4,socks5 proxies in one scan.
lambda0xE/0x0FFH
Config files for my GitHub profile.
lambda0xE/BLAKE3
the official Rust and C implementations of the BLAKE3 cryptographic hash function
lambda0xE/coq-lsp
Visual Studio Code Extension and Language Server Protocol for Coq
lambda0xE/eml
An experimental concurrent, hierarchical, event-based state machine programming language intended for implementing distributed management systems and modeling complex protocols.
lambda0xE/lambda0xE
Config files for my GitHub profile.
lambda0xE/ocaml-iomux
Io multiplexers bindings for ocaml (poll/kqueue/epoll and so on)
lambda0xE/reason
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
lambda0xE/thundersvm
ThunderSVM: A Fast SVM Library on GPUs and CPUs
lambda0xE/triton
Development repository for the Triton language and compiler
lambda0xE/blake2_simd
high-performance implementations of BLAKE2b/s/bp/sp in pure Rust with dynamic SIMD
lambda0xE/coq
lambda0xE/gt