lambda0xE

dev@octra.org

Octra FoundationLondon

Pinned Repositories

BLAKE3
the official Rust and C implementations of the BLAKE3 cryptographic hash function
Language:Assembly4.7k 77 229313
0x0FFH
Config files for my GitHub profile.
10
BLAKE3
the official Rust and C implementations of the BLAKE3 cryptographic hash function
Language:Assembly10
chokidar
Minimal and efficient cross-platform file watching library
Language:JavaScript10
coq-lsp
Visual Studio Code Extension and Language Server Protocol for Coq
Language:OCaml10
eml
An experimental concurrent, hierarchical, event-based state machine programming language intended for implementing distributed management systems and modeling complex protocols.
Language:TeX10
lambda0xE
Config files for my GitHub profile.
10
Zmap-ProxyScanner
A Thread Safe fast way to find proxies. Find 2000-5000 working http,socks4,socks5 proxies in one scan.
Language:Go20
blake3-ocaml
An implementation of the BLAKE3 cryptographic hash function.
Language:OCaml60
reason
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
Language:OCaml10.1k 177 1.4k425

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