Pinned Repositories
incubator-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.
oneflow
OneFlow is a deep learning framework designed to be user-friendly, scalable and efficient.
Boogie
a naive x86 OS kernel
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/proxinject
a socks5 proxy injection tool for Windows, making selected processes proxy-able
PragmaTwice/ichigo-lang
write a little simply typed functional language to practice Rust
PragmaTwice/PragmaTwice
self intro
PragmaTwice/PragmaTwice.github.io
my blazing new blog
PragmaTwice/ada
WHATWG-compliant and fast URL parser written in modern C++
PragmaTwice/arrow
Apache Arrow is a multi-language toolbox for accelerated data interchange and in-memory processing
PragmaTwice/carbonyl
Chromium running inside your terminal
PragmaTwice/clangir
A new (MLIR based) high-level IR for clang.
PragmaTwice/Enzyme
High-performance automatic differentiation of LLVM and MLIR.
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/incubator-kvrocks-website
Apache Kvrocks Website
PragmaTwice/kvrocks
Kvrocks is a distributed key value NoSQL database that uses RocksDB as storage engine and is compatible with Redis protocol.
PragmaTwice/kvrocks-controller
Kvrocks cluster controller
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/oneflow
OneFlow is a performance-centered and open-source deep learning framework.
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/SIMDString
Fast string implementation for graphics.
PragmaTwice/solidity
Solidity, the Smart Contract Programming Language
PragmaTwice/stump
A free and open source comics, manga and digital book server with OPDS support (WIP)
PragmaTwice/vert.x
Vert.x is a tool-kit for building reactive applications on the JVM
PragmaTwice/wasmtime-cpp
PragmaTwice/winget-pkgs
The Microsoft community Windows Package Manager manifest repository
PragmaTwice/yuzu
Nintendo Switch emulator