Pinned Repositories
amazonka
A comprehensive Amazon Web Services SDK for Haskell.
apollo
An open autonomous driving platform
benchmark
A microbenchmark support library
blag
Agda blog
cake-slayer
🍰🔪 Architecture of Haskell backend applications
CBORBenchmark
cmake_add_lib
ColaborativeFiltering
Bài tập lớn trí tuệ nhân tạo
nixconf
rose-pine-emacs
Soho vibes for Emacs
thongpv87's Repositories
thongpv87/rose-pine-emacs
Soho vibes for Emacs
thongpv87/nixconf
thongpv87/amazonka
A comprehensive Amazon Web Services SDK for Haskell.
thongpv87/apollo
An open autonomous driving platform
thongpv87/blag
Agda blog
thongpv87/cake-slayer
🍰🔪 Architecture of Haskell backend applications
thongpv87/cmake_add_lib
thongpv87/concat
Compiling to Categories
thongpv87/cpp
cpp nix template project
thongpv87/cppbestpractices
Collaborative Collection of C++ Best Practices
thongpv87/cquery
C/C++ language server supporting multi-million line code base, powered by libclang. Emacs, Vim, VSCode, and others with language server protocol support. Cross references, completion, diagnostics, semantic highlighting and more
thongpv87/denotational-design
thongpv87/denotational-hardware
Denotational hardware design in Agda
thongpv87/devos
NixOS Framework
thongpv87/docker-volume-snapshot
Docker volume backup or snapshot utility command
thongpv87/haskell-challenge
thongpv87/hive
The secretly open NixOS-Society
thongpv87/hm
thongpv87/Hyprland
Hyprland is a dynamic tiling Wayland compositor that doesn't sacrifice on its looks.
thongpv87/joy
thongpv87/lazyvim
my lazy vim config
thongpv87/nix-test
thongpv87/nixos
thongpv87/nixpkgs
Nix Packages collection
thongpv87/rclcpp
rclcpp (ROS Client Library for C++)
thongpv87/seastar
High performance server-side application framework
thongpv87/shabka
Shabka. Declaritive description of my network, workstations and servers.
thongpv87/standardese
A (work-in-progress) nextgen Doxygen for C++
thongpv87/universal-connectivity
Realtime decentralised chat with libp2p showing ubiquitous peer-to-peer connectivity between multiple programming languages (Go, Rust, TypeScript) and runtimes (Web, native binary) using QUIC, WebRTC and WebTransport
thongpv87/Upload