Pinned Repositories
bips
Bitcoin Improvement Proposals (fork)
bitcoin
Working copy of: Bitcoin Core integration/staging tree
bitcoin-task-bounty
Spurring & cultivating Bitcoin development
btcdeb
Bitcoin Script Debugger
cmake_snippets
Short copy-pasteable CMake snippets ::: ${✂️}
command-line-lexing
Splitting command lines into arguments (and back) on Windows
cpp_starter_project
A template CMake project to get you started with C++ and tooling
DlxLib
DlxLib is a C# class library that solves exact cover problems by implementing Donald E. Knuth's Algorithm X using the Dancing Links technique.
david-bakin's Repositories
david-bakin/bitcoin
Working copy of: Bitcoin Core integration/staging tree
david-bakin/command-line-lexing
Splitting command lines into arguments (and back) on Windows
david-bakin/bips
Bitcoin Improvement Proposals (fork)
david-bakin/bitcoin-task-bounty
Spurring & cultivating Bitcoin development
david-bakin/btcdeb
Bitcoin Script Debugger
david-bakin/cmake_snippets
Short copy-pasteable CMake snippets ::: ${✂️}
david-bakin/cpp_starter_project
A template CMake project to get you started with C++ and tooling
david-bakin/DlxLib
DlxLib is a C# class library that solves exact cover problems by implementing Donald E. Knuth's Algorithm X using the Dancing Links technique.
david-bakin/dsb-dds-ports
Porting repositories for consumption by bpt - personal repo
david-bakin/empty-gitpod-playpen
david-bakin/hackaponey-podfiles
Custom dotfiles to Gitpod
david-bakin/hugo-theme-cactus
Cactus theme for hugo
david-bakin/neo-fun
Some library components that didn't quite fit anywhere else...
david-bakin/pmm
It's the C++ Package Manager Manager
david-bakin/template-coq
A template for Coq, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral formal proof management environments in the cloud.
david-bakin/template-elixir
An Elixir template, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud.
david-bakin/template-haskell
The Haskell template, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud.
david-bakin/template-ocaml
A template for OCaml, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud.
david-bakin/template-tlaplus
The TLA+ template, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral formal verification environments in the cloud.
david-bakin/website
Gitpod website and documentation
david-bakin/zoose-playpen
Playpen for Juypter notebooks in gitpod