david-bakin Goto Github PK

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.

dsb-dds-ports

Porting repositories for consumption by bpt - personal repo

empty-gitpod-playpen

hackaponey-podfiles

Custom dotfiles to Gitpod

hugo-theme-cactus

Cactus theme for hugo

neo-fun

Some library components that didn't quite fit anywhere else...

pmm

It's the C++ Package Manager Manager

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.

template-elixir

An Elixir template, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud.

template-haskell

The Haskell template, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud.

template-ocaml

A template for OCaml, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud.

template-tlaplus

The TLA+ template, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral formal verification environments in the cloud.

website

Gitpod website and documentation

zoose-playpen

Playpen for Juypter notebooks in gitpod