myazakky

千葉県

Pinned Repositories

co2-dashboard
Language:Nim1 1 01
death-game-bot
Language:Python1 1 00
lisp.nim
Language:Nim1 1 00
midiConnect
midiConnect receives midi signals.
Language:Go10
typed-lambda-calculus-coq
Language:Coq1 1 00

myazakky's Repositories

myazakky/co2-dashboard
Language:Nim1 1 01
myazakky/death-game-bot
Language:Python1 1 00
myazakky/lisp.nim
Language:Nim1 1 00
myazakky/midiConnect
midiConnect receives midi signals.
Language:Go10
myazakky/typed-lambda-calculus-coq
Language:Coq1 1 00
myazakky/9chan
Language:TypeScript1 01
myazakky/black-jack
Language:Ruby1 0
myazakky/fizzbuzz-py
Language:Python
myazakky/good-morning-world-bot
Language:Ruby
myazakky/greenland-yomiage
Language:Go0 0
myazakky/langtons-ant
Language:Go
myazakky/Nim
Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).
Language:Nim0 0
myazakky/prolog.hs
Language:Haskell1 0
myazakky/prolog.nim
Language:Nim
myazakky/setup_gsngw
闇ネットゲートウェイセットアップスクリプト
Language:Shell0 0
myazakky/Shed
Language:Haskell
myazakky/tic-tac-toe
Language:Ruby0 0
myazakky/vending-machine
Language:Ruby1 0
myazakky/wasabi
Language:C++1 0
myazakky/wifi-qrcode
Language:Ruby1 0
myazakky/wolfserver
Language:Python0 0