Pinned Repositories
avro
Apache Avro
da-marketplace
DamlFundamentalsCapstone
Capstone project for Daml Fundamentals Certification
do-urlencode
Percent Encoding (aka URL Encoding) library
Hsmtlib
Haskell library for easy interaction with SMT-LIB 2 compliant solvers.
logic-translation
Translation from FOL to LTL+Past and LTL, via separation of LTL+Past
redu
ncdu for your restic repository
swarm-bencode
A BEncode parsing and enconding library
swarm-common
swarm-dht
BitTorrent Mainline DHT Library
drdo's Repositories
drdo/redu
ncdu for your restic repository
drdo/logic-translation
Translation from FOL to LTL+Past and LTL, via separation of LTL+Past
drdo/do-urlencode
Percent Encoding (aka URL Encoding) library
drdo/swarm-bencode
A BEncode parsing and enconding library
drdo/swarm-common
drdo/swarm-dht
BitTorrent Mainline DHT Library
drdo/avro
Apache Avro
drdo/da-marketplace
drdo/DamlFundamentalsCapstone
Capstone project for Daml Fundamentals Certification
drdo/Hsmtlib
Haskell library for easy interaction with SMT-LIB 2 compliant solvers.
drdo/jansson
C library for encoding, decoding and manipulating JSON data
drdo/stumpwm
The Stump Window Manager
drdo/keyd
A key remapping daemon for linux.
drdo/language-cil
Manipulating Common Intermediate Language AST in Haskell
drdo/leptos
Build fast web applications with Rust.
drdo/libserdes
Avro Serialization/Deserialization C/C++ library with Confluent schema-registry support
drdo/llvm
Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated hourly.
drdo/maud
:pencil: Compile-time HTML templates for Rust
drdo/nix
Nix, the purely functional package manager
drdo/nvim-config
A launch point for your personal nvim configuration
drdo/restic
Fast, secure, efficient backup program
drdo/rust-decimal
Decimal number implementation written in pure Rust suitable for financial and fixed-precision calculations.
drdo/rustic
rustic - fast, encrypted, and deduplicated backups powered by Rust
drdo/rustic_core
rustic_core - library for fast, encrypted, deduplicated backups that powers rustic-rs
drdo/strive
:bicyclist: A Haskell client for the Strava V3 API.
drdo/taffybar
A slightly fancy status bar for xmonad
drdo/template-benchmarks-rs
Collected benchmarks for templating crates written in Rust
drdo/xmobar
A minimalistic text-based status bar