Pinned Repositories
fury
A blazingly fast multi-language serialization framework powered by JIT and zero-copy.
kvrocks
Apache Kvrocks is a distributed key value NoSQL database that uses RocksDB as storage engine and is compatible with Redis protocol.
iree
A retargetable MLIR-based machine learning compiler and runtime toolkit.
oneflow
OneFlow is a deep learning framework designed to be user-friendly, scalable and efficient.
ChthollyLang
A simple implementation of Yet another script language Chtholly
codepunk
[WIP] Interval Analysis on LLVM IR
ichigo-lang
write a little simply typed functional language to practice Rust
protopuf
Protocol Puffers: A little, highly templated, and protobuf-compatible serialization/deserialization header-only library written in C++20
proxinject
a socks5 proxy injection tool for Windows, making selected processes proxy-able
TNT
some simple&naive formal proof of trivial Number Theory, using Agda/Coq, just to practice skills
PragmaTwice's Repositories
PragmaTwice/protopuf
Protocol Puffers: A little, highly templated, and protobuf-compatible serialization/deserialization header-only library written in C++20
PragmaTwice/PragmaTwice
self intro
PragmaTwice/PragmaTwice.github.io
my blazing new blog
PragmaTwice/alphafold3
AlphaFold 3 inference pipeline.
PragmaTwice/clangir
A new (MLIR based) high-level IR for clang.
PragmaTwice/cxx
Safe interop between Rust and C++
PragmaTwice/fury
A blazing fast multi-language serialization framework powered by jit and zero-copy
PragmaTwice/fury-sites
Static pages for fury: https://github.com/alipay/fury
PragmaTwice/hat-trie
C++ implementation of a fast and memory efficient HAT-trie
PragmaTwice/hexo-action
Hexo CI/CD Action for automating deployment.
PragmaTwice/iree
A retargetable MLIR-based machine learning compiler and runtime toolkit.
PragmaTwice/jax
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
PragmaTwice/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
PragmaTwice/kvrocks
Kvrocks is a distributed key value NoSQL database that uses RocksDB as storage engine and is compatible with Redis protocol.
PragmaTwice/kvrocks-feedstock
A conda-smithy repository for kvrocks.
PragmaTwice/libsql
libSQL is a fork of SQLite that is both Open Source, and Open Contributions.
PragmaTwice/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
PragmaTwice/opendal
OpenDAL: Access data freely, painlessly, and efficiently
PragmaTwice/pacopaco-release
This is a game I made many years ago, unfortunately I lost the source code for it
PragmaTwice/resilience4j
Resilience4j is a fault tolerance library designed for Java8 and functional programming
PragmaTwice/simdjson
Parsing gigabytes of JSON per second : used by Facebook/Meta Velox, the Node.js runtime, ClickHouse, WatermelonDB, Apache Doris, Milvus, StarRocks
PragmaTwice/solidity
Solidity, the Smart Contract Programming Language
PragmaTwice/staged-recipes
A place to submit conda recipes before they become fully fledged conda-forge feedstocks
PragmaTwice/stump
A free and open source comics, manga and digital book server with OPDS support (WIP)
PragmaTwice/sysproxy-rs
A Rust library for set/get system proxy. Supports Windows, macOS and linux (via gsettings).
PragmaTwice/tungstenite-rs
Lightweight stream-based WebSocket implementation for Rust.
PragmaTwice/vcpkg
C++ Library Manager for Windows, Linux, and MacOS
PragmaTwice/vert.x
Vert.x is a tool-kit for building reactive applications on the JVM
PragmaTwice/wasmtime-cpp
PragmaTwice/xla
A machine learning compiler for GPUs, CPUs, and ML accelerators