HomeProjects
Projects
- Repositories
- 5
- Languages
- C++, Lean
cpp-netlib/cpp-netlib
cpp-netlib
GitHub descriptionThe C++ Network Library Project -- cross-platform, standards compliant networking library.
HTTP client and server, a standalone URI library and a network message framework for C++, built to be easy to use and standards compliant. I started the project and remain its main contributor, with more than 700 commits.
- C++
- 2,018 stars (Nov 2026)
- cpp-netlib.org
testimonyproject/testimony
Testimony
GitHub descriptionChristian arguments from Scripture, written out premise by premise and checked by machine.
A Lean 4 library that lays out each premise of an argument, its source and what follows from it, so you can see exactly what is being assumed. It does not prove Christianity. It makes the reasoning visible so you can weigh it yourself.
Standards work
My contributions to C++ standardisation: a proposal on rich pointers (N3340), a paper on how strings should work in C++, and a working collection of the standards drafts.
deanberris/n3340
n3340
GitHub descriptionRich Pointers Paper
deanberris/cpp-string-theory
cpp-string-theory
GitHub descriptionThe paper on how strings should be done in C++.
deanberris/draft
draft
GitHub descriptionC++ standards drafts