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