Pinned Repositories
remagpie's Repositories
remagpie/.atom
remagpie/.emacs.d
remagpie/.pulsar
Pulsar init script
remagpie/.vscode
Remagpie's vscode configuration
remagpie/.zshrc
remagpie/bitcoin
Bitcoin Core integration/staging tree
remagpie/boj
Baekjoon online judge solutions
remagpie/codechain
Programmable multi-asset chain
remagpie/eslintrc
Personal eslint configuration
remagpie/FiraCode
Free monospaced font with programming ligatures
remagpie/foundry
A programmable open source blockchain engine
remagpie/gha-remove-artifact
Github Action for deleting artifacts
remagpie/glamorous
💄 Maintainable CSS with React
remagpie/mathematics_in_lean
Lean study repository
remagpie/novis
OpenCV binding for Node.js
remagpie/peti-ui
A subtle dark colored UI theme for Pulsar.
remagpie/PreFiraCode
Pretendard + FiraCode
remagpie/redux-saga-http
Send http requests with redux-saga
remagpie/reed-solomon-erasure
Rust implementation of Reed-Solomon erasure coding
remagpie/schelp
Strongly typed helper library for building JSON schemas
remagpie/scripts
Collection of personal scripts I use
remagpie/tokenizers
💥 Fast State-of-the-Art Tokenizers optimized for Research and Production
remagpie/tor-browser-selenium
Tor Browser automation with Selenium.