avsej/hott-book
A textbook on informal homotopy type theory
Repositories
avsej/cbdinocluster
avsej/fit-cli
A CLI tool for the SDK FIT testsuite
avsej/couchbase-cxx-client
WIP. C++ client experiment
avsej/couchbase-odbc-driver
avsej/git-kindle
Render kindle book from git repository
avsej/mako
A lightweight Wayland notification daemon
avsej/cb-alias
avsej/yt-dlp
A feature-rich command-line audio/video downloader
avsej/couchbase-php-client-opentelemetry
OpenTelemetry integration for the Couchbase PHP Client
avsej/couchbase-rs
The official, community supported Couchbase Rust SDK
avsej/asciidoc-bootstrap-docs-backend
An AsciiDoc backend that renders the AsciiDoc source in the style of the Twitter Bootstrap documentation
avsej/couchbase-php-lazy-connections
avsej/hashset.c
hash set C implementation
avsej/couchbase-php-client
WIP. New PHP client
avsej/avsej
avsej/rcurses
An alternative curses library written in pure Ruby
avsej/friendly-snippets
Set of preconfigured snippets for different languages.
avsej/build-tools
Various programs and scripts used by the Build & Release team related to the build process, but not specifically related to the build process itself.
avsej/clang-include-graph
Simple tool for analyzing C++ project include graph
avsej/sdk-rfcs
SDK RFCs
avsej/couchbase-gchq-daemon
Global Configuration Handling Queue
avsej/calculus
A ruby parser for TeX equations
avsej/cryptonomicon
E-reader aware version of Cryptonomicon book by Neal Stephenson
avsej/couchbase-hello-examples
avsej/cucumber.el
Emacs mode for editing Cucumber plain text stories
avsej/byrne-euclid
MetaPost + TeX rendition of Oliver Byrne's "The first six books of the Elements of Euclid"
avsej/terrapackages
Monorepo for Terra Packages
avsej/llama.cpp
LLM inference in C/C++
avsej/yaji
Yet another JSON iterator. YAJI is a ruby wrapper to YAJL providing iterator interface to streaming JSON parser