cordx56

Ph.D. student, Research in Programming Language, 魔法少女

Tokyo, Japan

Pinned Repositories

dotfiles
My config files
Language:Shell2 1 00
isstarlink
Show your internet connection is from a Starlink network or not
Language:Rust0 1 00
jsdrink
Simple parser combinators library written in TypeScript
Language:TypeScript5 1 00
micropython-deploy-server
Deploy your MicroPython code via network
Language:Python0 1 00
moudame.com
もうだめ
Language:HTML3 2 10
silang
space-separated Simple Interpreter (toy) Language
Language:Rust8 1 01
slip
Small LIsP (toy) language compiler project
Language:Rust9 2 02
tweet-generator
markov-chain tweet generator webpage
Language:Python140 6 311
untypedx
Gradually typed language
Language:Rust4 2 02
voice-miner-for-discord
Discord Speech to Text bot
Language:TypeScript12 2 04

cordx56's Repositories

cordx56/tweet-generator
markov-chain tweet generator webpage
Language:Python140 6 311
cordx56/dotfiles
My config files
Language:Shell2 1 00
cordx56/cxsh
simple shell written in Rust
Language:Rust1 2 01
cordx56/dareka.help
誰か助けて〜
Language:HTML1 1 0
cordx56/disnotification
Discord notification bot
Language:Rust1 2 0
cordx56/impl-conflict-resolver-rs
Language:Rust1 1 0
cordx56/simple-rust-type-inference
Language:Rust1
cordx56/cordx56.github.io
cordx.cx public page
Language:TypeScript0 1 00
cordx56/isstarlink
Show your internet connection is from a Starlink network or not
Language:Rust0 1 00
cordx56/autosave
Language:Rust1 0
cordx56/blog.cordx.cx
cordx56's blog
Language:Rust1 0
cordx56/gas-calendar-sync
Sync Google Calendar events among multi calendars
Language:TypeScript
cordx56/gsken.org
学園生活研究部ホームページ
Language:Astro1 01
cordx56/hakyll-builder-image
builder image, dependencies installed
Language:Dockerfile1 0
cordx56/hakyll-site-builder
Static site builder using Hakyll
Language:Haskell1 0
cordx56/hakyll-template
Static site template
Language:Haskell1 0
cordx56/iterator.zip
zip function (or method) description site for some languages
Language:HTML2
cordx56/latex-tamplate
LaTeX template
Language:TeX1 0
cordx56/mastodon-chart
Helm chart for Mastodon deployment in Kubernetes
Language:Mustache0 0
cordx56/my-tailwindcss-theme
My tailwindcss theme
Language:JavaScript1 0
cordx56/mytmuxrs
My tmux config using Rust
Language:Rust1 0
cordx56/nlp-summary
自然言語処理システム特論のグループワークです
Language:Python2 01
cordx56/obsidian-vimrc-support
A plugin for the Obsidian.md note-taking software
Language:TypeScript0 0
cordx56/paluda-man
paludarium manager
Language:Rust1 0
cordx56/polysite
Highly customizable, polymorphic static site generator library, written in Rust
Language:Rust1 0
cordx56/pub.cordx.cx
cordx56's publication
Language:TypeScript1 0
cordx56/slick-site-builder
Static site builder using slick
Language:Haskell1 0
cordx56/slick-site-template
Slick site template
Language:HTML1 0
cordx56/stdio-mask
Hide your private text in terminal
Language:Rust
cordx56/yamero-don
Mastodon インターネットやめろ支部
Language:Ruby0 0