1-day current streak·22-day longest streak
Here is PragmaTwice, aka Twice or 2ce OPINIONS ARE MY OWN ✨ I'm currently interested in program analysis, programming languages, ML systems/compilers, Rust and Web 3 ✨ I'm a little…
Here is PragmaTwice, aka Twice or 2ce
OPINIONS ARE MY OWN
- ✨ I'm currently interested in program analysis, programming languages, ML systems/compilers, Rust and Web 3
- ✨ I'm a little familiar with system construction & library design in modern C++, especially for compiler technology
---
sh
echo -n "My email address: " && echo QkVzzAyYQ0kMoVEH0mihz7zDbk6aalkDYvfnW1OaccM= | openssl enc -d -base64 | openssl enc -d -aes-128-cbc -iv 205731624 -K 230549126 2>/dev/null-
protopuf ★ PINNED
Protocol Puffers: A little, highly templated, and protobuf-compatible serialization/deserialization header-only library written in C++20
C++ ★ 208 1y agoExplain → -
proxinject ★ PINNED
a socks5 proxy injection tool for Windows, making selected processes proxy-able
C++ ★ 318 3y agoExplain → -
kvrocks ★ PINNED ⑂
Kvrocks is a distributed key value NoSQL database that uses RocksDB as storage engine and is compatible with Redis protocol.
C++ ★ 0 23h agoExplain → -
llvm-project ★ PINNED ⑂
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
LLVM ★ 0 2mo agoExplain → -
oneflow ★ PINNED ⑂
OneFlow is a performance-centered and open-source deep learning framework.
C++ ★ 0 3y agoExplain → -
ChthollyLang
A simple implementation of Yet another script language Chtholly
C++ ★ 21 7y agoExplain → -
ichigo-lang
write a little simply typed functional language to practice Rust
Rust ★ 15 3y agoExplain → -
codepunk
[WIP] Interval Analysis on LLVM IR
C++ ★ 12 6y agoExplain → -
chira
An MLIR-based Scheme compiler and runtime
C++ ★ 10 8mo agoExplain → -
TNT
some simple&naive formal proof of trivial Number Theory, using Agda/Coq, just to practice skills
Agda ★ 8 7y agoExplain → -
Boogie
a naive x86 OS kernel
C ★ 6 7y agoExplain → -
WindowTranslator
translate window in windows
C++ ★ 4 7y agoExplain → -
hyperbrain
A high-performance MLIR-based brainfuck compiler and runtime
C++ ★ 3 1y agoExplain → -
light2d-hs
learn miloyip/light2d, and translate to haskell
Haskell ★ 3 7y agoExplain → -
TMP
Template Metaprogramming Study
C++ ★ 3 9y agoExplain → -
Simple-Parser
a simple configurable parser
C++ ★ 3 9y agoExplain → -
MolCaptcha
structural formula CAPTCHA for web service
Python ★ 2 7y agoExplain → -
DrawAndChat
DrawAndChat Client based on Qt Quick 2
C++ ★ 2 7y agoExplain → -
risp
A little set of rust macros&utils for lispers
Rust ★ 2 8y agoExplain → -
PragmaTwice.github.io
my blazing new blog
HTML ★ 1 2mo agoExplain → -
SpaceVim ⑂
A community-driven modular vim/neovim distribution - The ultimate vimrc
★ 1 4y agoExplain → -
tidy-issue-generator
No description.
Python ★ 1 3y agoExplain → -
v2ray-core ⑂
A platform for building proxies to bypass network restrictions.
★ 1 4y agoExplain → -
DrawAndChatServer
DrawAndChat Server based on Qt
C++ ★ 1 7y agoExplain → -
WHATSCHAT-win
A Qt-based windows client for WHATSCHAT internet chatroom service.
C++ ★ 1 9y agoExplain → -
PragmaTwice
self intro
★ 0 1d agoExplain → -
llama.cpp ⑂
LLM inference in C/C++
★ 0 2mo agoExplain → -
nixpkgs ⑂
Nix Packages collection & NixOS
★ 0 7mo agoExplain → -
mlir-python-console
No description.
HTML ★ 0 7mo agoExplain → -
SIMDString ⑂
Fast string implementation for graphics.
C++ ★ 0 3y agoExplain → -
eudsl ⑂
Embedded Universal DSL: a good DSL for us, by us
★ 0 9mo agoExplain → -
mlir-www ⑂
No description.
★ 0 7mo agoExplain → -
mlir-wheels ⑂
No description.
★ 0 9mo agoExplain → -
solidity ⑂
Solidity, the Smart Contract Programming Language
★ 0 2y agoExplain → -
infrastructure-actions ⑂
Apache infrastructure
Python ★ 0 10mo agoExplain → -
v2-core ⑂
🦄 🦄 Core smart contracts of Uniswap V2
★ 0 10mo agoExplain → -
tvm ⑂
Open deep learning compiler stack for cpu, gpu and specialized accelerators
Python ★ 0 1y agoExplain → -
tilelang ⑂
Domain-specific language designed to streamline the development of high-performance GPU/CPU/Accelerators kernels
★ 0 1y agoExplain → -
apachecon-acasia ⑂
Community Over Code Asia - Asia edition of the flagship ASF conference
★ 0 1y agoExplain → -
pytorch ⑂
Tensors and Dynamic neural networks in Python with strong GPU acceleration
★ 0 1y agoExplain → -
staged-recipes ⑂
A place to submit conda recipes before they become fully fledged conda-forge feedstocks
★ 0 1y agoExplain → -
kvrocks-feedstock ⑂
A conda-smithy repository for kvrocks.
★ 0 1y agoExplain → -
jax ⑂
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
★ 0 1y agoExplain → -
iree ⑂
A retargetable MLIR-based machine learning compiler and runtime toolkit.
★ 0 1y agoExplain → -
alphafold3 ⑂
AlphaFold 3 inference pipeline.
★ 0 1y agoExplain → -
opendal ⑂
OpenDAL: Access data freely, painlessly, and efficiently
Rust ★ 0 1y agoExplain → -
cxx ⑂
Safe interop between Rust and C++
★ 0 1y agoExplain → -
cxx-async ⑂
Simple interoperability between C++ coroutines and asynchronous Rust
★ 0 3y agoExplain → -
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
★ 0 1y agoExplain → -
xla ⑂
A machine learning compiler for GPUs, CPUs, and ML accelerators
★ 0 1y agoExplain → -
sysproxy-rs ⑂
A Rust library for set/get system proxy. Supports Windows, macOS and linux (via gsettings).
Rust ★ 0 1y agoExplain → -
tungstenite-rs ⑂
Lightweight stream-based WebSocket implementation for Rust.
★ 0 1y agoExplain → -
hexo-action ⑂
Hexo CI/CD Action for automating deployment.
JavaScript ★ 0 2y agoExplain → -
resilience4j ⑂
Resilience4j is a fault tolerance library designed for Java8 and functional programming
★ 0 2y agoExplain → -
stump ⑂
A free and open source comics, manga and digital book server with OPDS support (WIP)
★ 0 2y agoExplain → -
clangir ⑂
A new (MLIR based) high-level IR for clang.
★ 0 2y agoExplain → -
yuzu ⑂
Nintendo Switch emulator
★ 0 2y agoExplain → -
simdjson ⑂
Parsing gigabytes of JSON per second : used by Facebook/Meta Velox, the Node.js runtime, ClickHouse, WatermelonDB, Apache Doris, Milvus, StarRocks
★ 0 2y agoExplain → -
vert.x ⑂
Vert.x is a tool-kit for building reactive applications on the JVM
★ 0 2y agoExplain → -
fury ⑂
A blazing fast multi-language serialization framework powered by jit and zero-copy
Java ★ 0 2y agoExplain → -
hat-trie ⑂
C++ implementation of a fast and memory efficient HAT-trie
★ 0 2y agoExplain → -
pacopaco-release
This is a game I made many years ago, unfortunately I lost the source code for it
HTML ★ 0 2y agoExplain → -
fury-sites ⑂
Static pages for fury: https://github.com/alipay/fury
★ 0 2y agoExplain → -
libsql ⑂
libSQL is a fork of SQLite that is both Open Source, and Open Contributions.
C ★ 0 2y agoExplain → -
ada ⑂
WHATWG-compliant and fast URL parser written in modern C++
★ 0 2y agoExplain → -
kvrocks-controller ⑂
Kvrocks cluster controller
Go ★ 0 9mo agoExplain → -
Enzyme ⑂
High-performance automatic differentiation of LLVM and MLIR.
LLVM ★ 0 3y agoExplain → -
wasmtime-cpp ⑂
No description.
C++ ★ 0 2y agoExplain → -
arrow ⑂
Apache Arrow is a multi-language toolbox for accelerated data interchange and in-memory processing
★ 0 3y agoExplain → -
carbonyl ⑂
Chromium running inside your terminal
★ 0 3y agoExplain → -
incubator-kvrocks-website ⑂
Apache Kvrocks Website
★ 0 3y agoExplain → -
winget-pkgs ⑂
The Microsoft community Windows Package Manager manifest repository
PowerShell ★ 0 3y agoExplain → -
rust ⑂
Empowering everyone to build reliable and efficient software.
★ 0 3y agoExplain → -
kvrocks-lua ⑂
Lua submodule for the kvrocks
C ★ 0 4y agoExplain → -
LuaJIT ⑂
Mirror of the LuaJIT git repository
C ★ 0 4y agoExplain → -
databend ⑂
A modern Elasticity and Performance cloud data warehouse, activate your object storage for real-time analytics. Cloud at https://app.databend.com/
★ 0 4y agoExplain → -
apache-home
a fork of https://github.com/Cveinnt/LiveTerm
TypeScript ★ 0 4y agoExplain → -
incubator-doris ⑂
Apache Doris(Incubating) is an MPP-based interactive SQL data warehousing for reporting and analysis.
★ 0 4y agoExplain → -
elements ⑂
Elements C++ GUI library
C++ ★ 0 4y agoExplain → -
forecastie ⑂
A simple, opensource weather app for Android.
★ 0 4y agoExplain → -
v2rayN ⑂
A V2Ray client for Windows, support Xray core and v2fly core
C# ★ 0 4y agoExplain → -
diem ⑂
Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.
★ 0 4y agoExplain → -
taichi ⑂
Parallel programming for everyone.
★ 0 4y agoExplain → -
tensorflow ⑂
An Open Source Machine Learning Framework for Everyone
★ 0 4y agoExplain → -
tidb ⑂
TiDB is an open source distributed HTAP database compatible with the MySQL protocol
Go ★ 0 5y agoExplain → -
clustered-index-rand-test ⑂
No description.
Go ★ 0 5y agoExplain → -
go-fuzz ⑂
Randomized testing for Go
★ 0 5y agoExplain → -
protobuf ⑂
Protocol Buffers - Google's data interchange format
★ 0 5y agoExplain → -
parser ⑂
A MySQL Compatible SQL Parser
Go ★ 0 5y agoExplain → -
vcpkg ⑂
C++ Library Manager for Windows, Linux, and MacOS
CMake ★ 0 1y agoExplain → -
libunifex ⑂
Unified Executors
★ 0 5y agoExplain → -
rms-support-letter.github.io ⑂
An open letter in support of Richard Matthew Stallman being reinstated by the Free Software Foundation
★ 0 5y agoExplain → -
incubator-brpc ⑂
Industrial-grade RPC framework used throughout Baidu, with 1,000,000+ instances and thousands kinds of services. "brpc" means "better RPC".
★ 0 5y agoExplain → -
OptimizerTester ⑂
No description.
Go ★ 0 5y agoExplain → -
sql-transaction-test
No description.
Rust ★ 0 5y agoExplain → -
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 5y agoExplain → -
shields ⑂
Concise, consistent, and legible badges in SVG and raster format
★ 0 5y agoExplain → -
ddia ⑂
《Designing Data-Intensive Application》DDIA中文翻译
Python ★ 0 5y agoExplain → -
trojan ⑂
An unidentifiable mechanism that helps you bypass GFW.
★ 0 6y agoExplain → -
cloudwalker ⑂
CloudWalker Platform
★ 0 7y agoExplain → -
NCoC ⑂
No Code of Conduct: A Code of Conduct for Adults in Open Source Software
★ 0 7y agoExplain → -
nHLVM
A naive High Level Virtual Machine
C++ ★ 0 8y agoExplain → -
NumberString
Small Big Integer Operating Lib.
C++ ★ 0 9y agoExplain →
No repos match these filters.