#
Lists (17)
Agda Learnin
1 repository
Agda_Math
Agda_Math1 repository
Aura_Manjaro_Arch
Aura Package manager; pacman Manjaro Arch package manager written in Haskell1 repository
bash commands
1 repository
cpp_coroutine_async
cpp_coroutine_asynccpp_coroutines_async
cpp_coroutines_asynccpp_embedded
1 repository
cpp_general
general c++ related11 repositories
cpp_modules
1 repository
Elixir_misc
Elixir related repos2 repositories
emac_haskell
4 repositories
Haskell-Learning
62 repositories
Haskell_packages
misc Haskell librariries that might be usefull50 repositories
Rust
7 repositories
rust-macros
rust-macros; learning1 repository
vim_plugins
vim/ nvim plugin10 repositories
web_assembly
2 repositories
Starred repositories
Performant, batteries-included completion plugin for Neovim
COWEL (Compact Web Language) is a markup language that provides easy access to HTML features while being much more convenient to write.
An extremely fast Python package and project manager, written in Rust.
Use external libraries in Modern C++ as easily as in other modern languages. Flick brings the simplicity of dependency management from languages like Python, Rust, or JavaScript into C++βfinally maβ¦
Task management and project memory for your codebase
Collection of self-contained header-only libraries for C++17
Checkpoint is a tiny reverse proxy that attempts to block AI by serving a cryptographic challenge.
Lock-free atomic_shared_ptr implementations
Concurrent Deferred Reference Counting
Simple, portable, and self-contained stacktrace library for C++11 and newer
Light-weight, simple and fast XML parser for C++ with XPath support
Async (co_await/co_return) code for c++. This is a base library providing building blocks.
L3: Lightweight Logging Library. A very small 'C' library to generate low-footprint, non-intrusive, high-performance logging of trace messages in an mmap()'ed file. Tools are provided to unpack theβ¦
Reference implementation of C++26 bit permutation functions, as proposed.
Source code formatter for cmake listfiles.
Coroutine based asynchronous IO using poll and io_uring for C++20
Fast and exact implementation of the C++ from_chars functions for number types: 4x to 10x faster than strtod, part of GCC 12, Chromium, Redis and WebKit/Safari
dadbod.vim: Modern database interface for Vim