Pinned Repositories
zkflow
The ZKFlow consensus protocol enables private transactions on Corda for arbitrary smart contracts using Zero Knowledge Proofs
docker-compose-consul-nginx-haproxy-php-fpm
A Docker Compose setup that dynamically loadbalances php-fpm through HAProxy to Nginx. Uses Consul, Consul-Template and Registrator
dotfiles
My dotfiles
kramdown-with-pygments
A Jekyll plugin that enables Pygments syntax highlighting for Kramdown-parsed fenced code blocks
owasp-dep-check-cache-builder
An Azure Pipelines build that creates a reusable artifact from the OWASP Dependency Check cache
pdepend
PHP_Depend is an adaption of the established Java development tool JDepend. This tool shows you the quality of your design in the terms of extensibility, reusability and maintainability.
php-spider
A configurable and extensible PHP web spider
rust-libp2p
The Rust Implementation of the libp2p networking stack.
vdb-uri
A set of URI classes and a URI parser, based on RFC 3986, inspired by java.net.URI
zinc
Fork of Matter Labs' Zinc ZKP toolchain for the ZKFlow protocol
mvdbos's Repositories
mvdbos/php-spider
A configurable and extensible PHP web spider
mvdbos/vdb-uri
A set of URI classes and a URI parser, based on RFC 3986, inspired by java.net.URI
mvdbos/owasp-dep-check-cache-builder
An Azure Pipelines build that creates a reusable artifact from the OWASP Dependency Check cache
mvdbos/rust-libp2p
The Rust Implementation of the libp2p networking stack.
mvdbos/dotfiles
My dotfiles
mvdbos/ksp
Kotlin Symbol Processing API
mvdbos/zinc
Fork of Matter Labs' Zinc ZKP toolchain for the ZKFlow protocol
mvdbos/zkkrypto
Collection of ZKP-related cryptographic primitives
mvdbos/corda
Corda is a distributed ledger platform designed to record, manage and automate legal agreements between business partners. Designed by (and for) the world's largest financial institutions, it offers a unique response to the privacy and scalability challenges facing decentralised applications.
mvdbos/DependencyCheck
OWASP dependency-check is a software composition analysis utility that detects publicly disclosed vulnerabilities in application dependencies.
mvdbos/formal-verification-purse
mvdbos/generative-ai-docs
Documentation for Google's Generative AI developer site
mvdbos/gradle-latex
A Gradle plugin for compiling LaTeX, inspired by https://github.com/csabasulyok/gradle-latex. Works with gradle kts scripts.
mvdbos/homebrew-core
🍻 Default formulae for the missing package manager for macOS
mvdbos/javaqa
mvdbos/koreader
An ebook reader application supporting PDF, DjVu, EPUB, FB2 and many more formats, running on Kindle, Kobo, PocketBook, Ubuntu Touch and Android devices
mvdbos/kotlin-utils
A handy set of kotlin utils and and extension functions that I use often
mvdbos/kotlinx.serialization
Kotlin multiplatform / multi-format serialization
mvdbos/llama.cpp
Port of Facebook's LLaMA model in C/C++
mvdbos/logic_farm_roguelike
A tutorial project for Bevy 0.11 following a series on the LogicProjects Youtube Channel
mvdbos/mvdbos.github.io
mvdbos/nodedev
mvdbos/scala-functional
mvdbos/skf-labs
Repo for all the OWASP-SKF Docker lab examples
mvdbos/syntastic
Syntax checking hacks for vim
mvdbos/syntastic-solidity
A syntastic plugin for Solidity
mvdbos/syntastic-solium
mvdbos/truffle-test
mvdbos/vpn-setup
mvdbos/zkflow
The ZKFlow consensus protocol enables private transactions on Corda for arbitrary smart contracts using Zero Knowledge Proofs