Pinned Repositories
BaseN.lean
RFC 4648 compliant Base-N encoding in Lean 4
CMark.lean
csv
CSV for Lean 4.
defdx
deno-wgpu
Deno binding to wgpu-native
lean4-terminal
(WIP) Cross platform terminal package for Lean 4.
Parsec.lean
Parser combinators for Lean
Reservoir.lean
WIP unofficial package registry of Lean 4
Socket.lean
A toy implementation of socket programming for Lean 4.
Unicode.lean
xubaiw's Repositories
xubaiw/Socket.lean
A toy implementation of socket programming for Lean 4.
xubaiw/Unicode.lean
xubaiw/CMark.lean
xubaiw/csv
CSV for Lean 4.
xubaiw/Parsec.lean
Parser combinators for Lean
xubaiw/deno-wgpu
Deno binding to wgpu-native
xubaiw/defdx
xubaiw/deno-rdflib
xubaiw/fresh-jss
Use eno fresh with jss hooks
xubaiw/reservoir-index
Registry of Reservoir.lean
xubaiw/cnpgex
Knowledge graph for 全国硕士研究生招生考试 in China
xubaiw/deno-osmpbf
OpenStreetMap PBF parser in deno
xubaiw/deno-xattr
xattr binding for deno
xubaiw/dfdx
Deep learning in Rust, with shape checked tensors and neural networks
xubaiw/econ-ts
xubaiw/kvanto
Implementations of Quantitative Trading
xubaiw/nushell
A new type of shell
xubaiw/osm-pbf-parser-node
Streaming OpenStreetMap PBF parser for Node.js
xubaiw/osmpoi
A tool for extracting POI information from openstreetmap file
xubaiw/parthroc
Parsec, but using try-catch and mutable context
xubaiw/rdf-tui
xubaiw/redfit
RDF visualizer and editor
xubaiw/struct
C-style struct utility for Deno.
xubaiw/tri
A variant of RDF turtle with rules and indentation
xubaiw/tushare-rs
A rust lib for tushare
xubaiw/typst-rote
Rote learning in Typst
xubaiw/vim-colors-xcode
Xcode 11’s dark and light colourschemes for Vim
xubaiw/vim-n3
xubaiw/vim-rdf
A bundle of vimfiles for editing RDF data (syntaxes, completion, etc.)
xubaiw/waaagh