pragmatwice 最近的时间轴更新 pragmatwice 最近的时间轴更新pragmatwice's repos on GitHub
C++ 296 人关注
proxinject a socks5 proxy injection tool for Windows, making selected processes proxy-able C++ 197 人关注
protopuf Protocol Puffers: A little, highly templated, and protobuf-compatible serialization/deserialization header-only library written in C++20 C++ 20 人关注
ChthollyLang A simple implementation of Yet another script language Chtholly Rust 15 人关注
ichigo-lang write a little simply typed functional language to practice Rust C++ 12 人关注
codepunk [WIP] Interval Analysis on LLVM IR C++ 10 人关注
chira An MLIR-based Scheme compiler and runtime Agda 8 人关注
TNT some simple&naive formal proof of trivial Number Theory, using Agda/Coq, just to practice skills C 6 人关注
Boogie a naive x86 OS kernel C++ 4 人关注
WindowTranslator translate window in windows C++ 3 人关注
hyperbrain A high-performance MLIR-based brainfuck compiler and runtime Haskell 3 人关注
light2d-hs learn miloyip/light2d, and translate to haskell C++ 3 人关注
Simple-Parser a simple configurable parser C++ 3 人关注
TMP Template Metaprogramming Study C++ 2 人关注
DrawAndChat DrawAndChat Client based on Qt Quick 2 Python 2 人关注
MolCaptcha structural formula CAPTCHA for web service Rust 2 人关注
risp A little set of rust macros&utils for lispers C++ 1 人关注
DrawAndChatServer DrawAndChat Server based on Qt HTML 1 人关注
PragmaTwice.github.io my blazing new blog 1 人关注
SpaceVim A community-driven modular vim/neovim distribution - The ultimate vimrc Python 1 人关注
tidy-issue-generator 1 人关注
v2ray-core A platform for building proxies to bypass network restrictions. C++ 1 人关注
WHATSCHAT-win A Qt-based windows client for WHATSCHAT internet chatroom service. 0 人关注
ada WHATWG-compliant and fast URL parser written in modern C++ 0 人关注
alphafold3 AlphaFold 3 inference pipeline. TypeScript 0 人关注
apache-home a fork of https://github.com/Cveinnt/LiveTerm 0 人关注
apachecon-acasia Community Over Code Asia - Asia edition of the flagship ASF conference 0 人关注
arrow Apache Arrow is a multi-language toolbox for accelerated data interchange and in-memory processing 0 人关注
awesome-selfhosted A list of Free Software network services and web applications which can be hosted locally. Selfhosting is the process of hosting and managing applications instead of renting from Software-as-a-Service providers 0 人关注
carbonyl Chromium running inside your terminal 0 人关注
clangir A new (MLIR based) high-level IR for cang. 0 人关注
cloudwalker CloudWalker Platform Go 0 人关注
clustered-index-rand-test 0 人关注
cxx Safe interop between Rust and C++ 0 人关注
cxx-async Simple interoperability between C++ coroutines and asynchronous Rust 0 人关注
databend A modern Elasticity and Performance cloud data warehouse, activate your object storage for real-time analytics. Cloud at https://app.databend.com/ Python 0 人关注
ddia 《Designing Data-Intensive Application》DDIA中文翻译 0 人关注
diem Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world. C++ 0 人关注
elements Elements C++ GUI library LLVM 0 人关注
Enzyme High-performance automatic differentiation of LLVM and MLIR. 0 人关注
eudsl Embedded Universal DSL: a good DSL for us, by us 0 人关注
forecastie A simple, opensource weather app for Android. Java 0 人关注
fury A blazing fast multi-language serialization framework powered by jit and zero-copy 0 人关注
fury-sites Static pages for fury: https://github.com/alipay/fury 0 人关注
go-fuzz Randomized testing for Go 0 人关注
hat-trie C++ implementation of a fast and memory efficient HAT-trie Javascript 0 人关注
hexo-action Hexo CI/CD Action for automating deployment. 0 人关注
incubator-brpc Industrial-grade RPC framework used throughout Baidu, with 1,000,000+ instances and thousands kinds of services. "brpc" means "better RPC". 0 人关注
incubator-doris Apache Doris(Incubating) is an MPP-based interactive SQL data warehousing for reporting and analysis. 0 人关注
incubator-kvrocks-website Apache Kvrocks Website Python 0 人关注
infrastructure-actions Apache infrastructure 0 人关注
iree A retargetable MLIR-based machine learning compiler and runtime toolkit. 0 人关注
jax Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more 0 人关注
jsoncons A C++, header-only library for constructing JSON and JSON-like data formats, with JSON Pointer, JSON Patch, JSON Schema, JSONPath, JMESPath, CSV, MessagePack, CBOR, BSON, UBJSON C++ 0 人关注
kvrocks Kvrocks is a distributed key value NoSQL database that uses RocksDB as storage engine and is compatible with Redis protocol. Go 0 人关注
kvrocks-controller Kvrocks cluster controller 0 人关注
kvrocks-feedstock A conda-smithy repository for kvrocks. C 0 人关注
kvrocks-lua Lua submodule for the kvrocks C 0 人关注
libsql libSQL is a fork of SQLite that is both Open Source, and Open Contributions. 0 人关注
libunifex Unified Executors LLVM 0 人关注
llvm-project The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. C 0 人关注
LuaJIT Mirror of the LuaJIT git repository HTML 0 人关注
mlir-python-console 0 人关注
mlir-wheels 0 人关注
mlir-www 0 人关注
NCoC No Code of Conduct: A Code of Conduct for Adults in Open Source Software C++ 0 人关注
nHLVM A naive High Level Virtual Machine 0 人关注
nixpkgs Nix Packages collection & NixOS C++ 0 人关注
NumberString Small Big Integer Operating Lib. C++ 0 人关注
oneflow OneFlow is a performance-centered and open-source deep learning framework. Rust 0 人关注
opendal OpenDAL: Access data freely, painlessly, and efficiently Go 0 人关注
OptimizerTester HTML 0 人关注
pacopaco-release This is a game I made many years ago, unfortunately I lost the source code for it Go 0 人关注
parser A MySQL Compatible SQL Parser 0 人关注
PragmaTwice self intro 0 人关注
protobuf Protocol Buffers - Google's data interchange format 0 人关注
pytorch Tensors and Dynamic neural networks in Python with strong GPU acceleration 0 人关注
resilience4j Resilience4j is a fault tolerance library designed for Java8 and functional programming 0 人关注
rms-support-letter.github.io An open letter in support of Richard Matthew Stallman being reinstated by the Free Software Foundation 0 人关注
rust Empowering everyone to build reliable and efficient software. 0 人关注
shields Concise, consistent, and legible badges in SVG and raster format 0 人关注
simdjson Parsing gigabytes of JSON per second : used by Facebook/Meta Velox, the Node.js runtime, ClickHouse, WatermelonDB, Apache Doris, Milvus, SarRocks C++ 0 人关注
SIMDString Fast string implementation for graphics. 0 人关注
solidity Solidity, the Smart Contract Programming Language Rust 0 人关注
sql-transaction-test 0 人关注
staged-recipes A place to submit conda recipes before they become fully fledged conda-forge feedstocks 0 人关注
stump A free and open source comics, manga and digital book server with OPDS support (WIP) Rust 0 人关注
sysproxy-rs A Rust library for set/get system proxy. Supports Windows, macOS and linux (via gsettings). 0 人关注
taichi Parallel programming for everyone. 0 人关注
tensorflow An Open Source Machine Learning Framework for Everyone Go 0 人关注
tidb TiDB is an open source distributed HTAP database compatible with the MySQL protocol 0 人关注
tilelang Domain-specific language designed to streamline the development of high-performance GPU/CPU/Accelerators kernels 0 人关注
trojan An unidentifiable mechanism that helps you bypass GFW. 0 人关注
tungstenite-rs Lightweight stream-based WebSocket implementation for Rust. Python 0 人关注
tvm Open deep learning compiler stack for cpu, gpu and specialized accelerators 0 人关注
v2-core Core smart contracts of Uniswap V2 C# 0 人关注
v2rayN A V2Ray client for Windows, support Xray core and v2fly core CMake 0 人关注
vcpkg C++ Library Manager for Windows, Linux, and MacOS 0 人关注
vert.x Vert.x is a tool-kit for building reactive applications on the JVM C++ 0 人关注
wasmtime-cpp PowerShell 0 人关注
winget-pkgs The Microsoft community Windows Package Manager manifest repository  | pragmatwiceV2EX 第 342483 号会员，加入于 2018-08-18 21:59:34 +08:00今日活跃度排名 3959 |
PragmaTwice
pragmatwice 最近回复了
165 天前 回复了 YanSeven 创建的主题 程序员 不情愿刷 leetcode 是否一定程度上能鉴定一个人对码农这个职业的兴趣和“资质” |
不能。
340 天前 回复了 ggp1ot2 创建的主题 日本 请问大阪去京都的最好方案？有接送机 |
坐地铁 一小时到
2023-09-29 09:40:42 +08:00 回复了 aiamjay 创建的主题 Linux 开发主力机 Linux 桌面版求推荐 |
archlinux 对新手最友好
2023-07-12 14:58:10 +08:00 回复了 Pbe2RsrnVcPrF 创建的主题 上海 吐槽:太难了,在上海看病太难了,建议能不生还是不要生了 |
我觉得至少一部分原因是你们真的缺乏就医的生活常识。在上海去门诊，最好提前在网上预约，一般医院公众号上都可以进行，借此也可以查看医院什么时候能够就诊，如果实在不行可以去急诊。此外医院的选择，是我的话会首选一些知名的三甲，比如仁济有些科室门诊在周六是可以挂号的。你去的医院我大多根本没听说过。
2023-02-16 14:55:52 +08:00 回复了 LeeReamond 创建的主题 程序员 有什么适合管理大量二进制文件的数据库解决方案吗？ |
2022-08-13 23:10:08 +08:00 回复了 kejianlin 创建的主题 问与答 家境困难，因父亲交通事故有笔赔偿款，买多少钱房子比较合适？ |
> 因自身欲望大，多点首付多点选择，在金钱和利益面前人性使然。
感觉对人性有误解，做人需要有良知。
感觉对人性有误解，做人需要有良知。
2022-03-20 13:42:58 +08:00 回复了 ChaosesIb 创建的主题 C++ 有关模板 + if constexpr + static_assert 的问题 |
GCC 在这里的行为是正确的，如果想达到预期的效果可以加入一个 dependent name 以延迟 static_assert 的 evaluate ，例如
```c++
template <typename T> constexpr const auto always_false = false;
template<typename T=void>
void f() {
if constexpr(false) {
static_assert(always_false<T>, "fail");
}
}
int main()
{
f<>();
}
```
```c++
template <typename T> constexpr const auto always_false = false;
template<typename T=void>
void f() {
if constexpr(false) {
static_assert(always_false<T>, "fail");
}
}
int main()
{
f<>();
}
```
Select Language