david-bakin
Follow
-
-
website Public
Forked from KlasenK/websiteGitpod website and documentation
Svelte MIT License UpdatedSep 30, 2022 -
hackaponey-podfiles Public
Forked from gitpod-samples/dotfiles_default_gitpod_ymlCustom dotfiles to Gitpod
Dockerfile UpdatedSep 5, 2022 -
-
btcdeb Public
Forked from bitcoin-core/btcdebBitcoin Script Debugger
C++ MIT License UpdatedAug 14, 2022 -
bitcoin Public
Forked from bitcoin/bitcoinWorking copy of: Bitcoin Core integration/staging tree
-
bips Public
Forked from bitcoin/bipsBitcoin Improvement Proposals (fork)
Wikitext UpdatedAug 7, 2022 -
dsb-dds-ports Public
Forked from vector-of-bool/dds-portsPorting repositories for consumption by bpt - personal repo
Python UpdatedJun 27, 2022 -
hugo-theme-cactus Public
Forked from monkeyWzr/hugo-theme-cactusCactus theme for hugo
SCSS MIT License UpdatedApr 29, 2022 -
bitcoin-task-bounty Public
Forked from NYDIG/bitcoin-task-bountySpurring & cultivating Bitcoin development
UpdatedApr 11, 2022 -
DlxLib Public
Forked from taylorjg/DlxLibDlxLib is a C# class library that solves exact cover problems by implementing Donald E. Knuth's Algorithm X using the Dancing Links technique.
C# MIT License UpdatedApr 6, 2022 -
cpp_starter_project Public template
Forked from cpp-best-practices/gui_starter_templateA template CMake project to get you started with C++ and tooling
CMake The Unlicense UpdatedApr 5, 2022 -
pmm Public
Forked from vector-of-bool/pmmIt's the C++ Package Manager Manager
CMake MIT License UpdatedApr 1, 2022 -
neo-fun Public
Forked from vector-of-bool/neo-funSome library components that didn't quite fit anywhere else...
C++ Boost Software License 1.0 UpdatedMar 15, 2022 -
template-ocaml Public template
Forked from gitpod-samples/template-ocamlA template for OCaml, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud.
OCaml MIT License UpdatedJan 5, 2022 -
template-elixir Public template
Forked from gitpod-samples/template-elixirAn Elixir template, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud.
Elixir MIT License UpdatedNov 1, 2021 -
template-tlaplus Public template
Forked from gitpod-samples/template-tlaplusThe TLA+ template, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral formal verification environments in the cloud.
TLA MIT License UpdatedAug 17, 2021 -
template-coq Public template
Forked from gitpod-samples/template-coqA template for Coq, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral formal proof management environments in the cloud.
Dockerfile MIT License UpdatedAug 14, 2021 -
template-haskell Public template
Forked from gitpod-samples/template-haskellThe Haskell template, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud.
Haskell MIT License UpdatedJul 24, 2021 -
cmake_snippets Public
Forked from adishavit/cmake_snippetsShort copy-pasteable CMake snippets ::: ${✂️}
BSD 3-Clause "New" or "Revised" License UpdatedJul 11, 2019 -
command-line-lexing Public
Splitting command lines into arguments (and back) on Windows