Pinned Repositories
aka-sha
A command-line dictionary and thesaurus using Wordnik API.
archlinux-install-scripts
Scripts for Arch Linux installation
bbsl-coq
node-cli-flow-jest-boilerplate
A node command line interface application boilerplace with Flow & Jest
purescript-prelude
My prelude
python-sandbox
ssg.prototype
A prototype of static site generator
SubLisp
sushi
回転sushi
terminal-game
utatatata's Repositories
utatatata/archlinux-install-scripts
Scripts for Arch Linux installation
utatatata/sushi
回転sushi
utatatata/bbsl-coq
utatatata/aka-sha
A command-line dictionary and thesaurus using Wordnik API.
utatatata/node-cli-flow-jest-boilerplate
A node command line interface application boilerplace with Flow & Jest
utatatata/purescript-prelude
My prelude
utatatata/python-sandbox
utatatata/SubLisp
utatatata/terminal-game
utatatata/ts-jest-boilerplate
A boilerplate for TypeScript + Jest
utatatata/untyped-lambda-calculus
A PureScript implementation of the untyped lambda calculus
utatatata/chocoleto
A static site generator.
utatatata/coq-sandbox
utatatata/dotfiles
my dotfiles
utatatata/dr-plumber.js
utatatata/elm-webpack-boilerplate
A boilerplate for Elm + Webpack
utatatata/europa
utatatata/game-of-life
utatatata/hiyamugi
A simple & lightweight web-based PMS player.
utatatata/info.utatatata.blog.prototype
prototype
utatatata/lecs-materials
勉強会の資料
utatatata/nixos-configuration
utatatata/panepon
utatatata/parser-combinator
Siimple parser combinator
utatatata/purescript-sandbox
utatatata/puzzle-dr-plumber
utatatata/stack-based-language
A stack-based programming language
utatatata/tetromino-puzzle-game
utatatata/ulc
untyped lambda calculus
utatatata/web-pms-player
A simple & lightweight web-based PMS player.