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/voice-miner-for-discord
Discord Speech to Text bot
Language:TypeScript12 2 04
cordx56/slip
Small LIsP (toy) language compiler project
Language:Rust9 2 02
cordx56/silang
space-separated Simple Interpreter (toy) Language
Language:Rust8 1 01
cordx56/jsdrink
Simple parser combinators library written in TypeScript
Language:TypeScript5 1 00
cordx56/untypedx
Gradually typed language
Language:Rust4 2 02
cordx56/moudame.com
もうだめ
Language:HTML3 2 10
cordx56/ntp-time-machine
NTP server that replies user specified date time
Language:Rust2 1 0
cordx56/silang-math
math package for SILang
Language:Rust20
cordx56/silang-wasm
SILang for WebAssembly
Language:Rust2
cordx56/vc-notf
notify to text channel when someone join/move/leave voice channel
Language:Rust2 2 02
cordx56/gip-epd
Language:Python1
cordx56/sit-idcardlib-py
SIT ID card library for Python
Language:Python1
cordx56/SITStudentIDLoggerCppConsole
Language:C1 2 0
cordx56/digico-python
自然言語質問応答システム
Language:Vue0 1 01
cordx56/micropython-deploy-server
Deploy your MicroPython code via network
Language:Python0 1 00
cordx56/alb-oidc-example
AWS ALB OIDC Authorization example
Language:Rust2 0
cordx56/colorfulasciiart
Output colorful ascii art from input image
Language:Python2 01
cordx56/cordx.dev
cordx.dev webpage
Language:HTML2 0
cordx56/cordx.net
My GitHub pages.
Language:TypeScript1 2
cordx56/envdata
Collect environmental data using Raspberry Pi
Language:Python2 0
cordx56/godrink
Simple parser combinators library written in Golang
Language:Go1 0
cordx56/graduation-research-implementation
卒研の実装
Language:Jupyter Notebook2 1
cordx56/kuso.domains
cordx56/lexima.vim-coc.nvim
Auto close parentheses and repeat by dot dot dot...
cordx56/otsu.care
お疲れ様です。
Language:HTML
cordx56/proxmox-terraform-template
Terrafrom template for Proxmox
Language:HCL2 0
cordx56/rector
Instant Upgrades and Automated Refactoring of any PHP 5.3+ code
cordx56/silang-web
SILang webpage
Language:Vue2 0
cordx56/slip-web
slip web page
Language:Vue
cordx56/vrchat-notifier
Language:TypeScript2 0