This list contains temporary scripts and some ones may not work now. Most are undocumented.
- LTL.ml A naive implementation of Linear Temporal Logic
- kalman-frp An experiment code for kalman filtering in emfrp (Functional Reactive Languages for Embedded Systems)
- Generating Spiral Dataset for Classifying in Python
- promise-retry.js - A simple retry function for Promise in JS
- Accessing SoundCloud API in Node.js - SoundCloud API can't be registered currently. (2018/3/4)
- Minimal example for Slack Event API on AWS Lambda - I knew this page after writing this...
- A Node.js program that uploads files from the Internet to Google Drive directly - Written for AWS Lambda
- Taking Snapshots for Youtube - Only works in Chrome.
- SweetJS Example - Macro Definition for a Erlang-like Actor Framework in JavaScript. Works for an old version of sweet.js
- Example Code for WebCrypto - encryption/decryption by a symmetric key
- Randomly renaming Twitter's screen_name - Useless for escaping from cyberstalkers
- Watching friends/followers changes - Intended to be executed by cron or something else. Delivers DMs (Read/Write/DM permission required)
- extract.js - A command-line tool for extracting links from a page.
- Transffering a list to another account
- Double Pendulum.elm - Written in an old version of Elm. Demo
- RayTracer for M5Stack - M5Stack. Reference: https://qiita.com/doxas/items/477fda867da467116f8d
- tweetdeck.css - Discoloring TweetDeck's Dark Theme. See also: TweetDeckの配色を元のものに戻す (Japanese)
- Coq proof for recursive function - See Coq 末尾再帰の透過性の証明 (Japanese)
- .vimrc for minimalists
- Dict_for_GoogleIME.txt - Google IME Dictionary for superscripts (e.g. ⁰) and subscripts (e.g. ₀)
- init.el for ProofGeneral and Evil - Emacs Settings for ProofGeneral (Coq plugin) and Evil (Vim emulator for Emacs)
- Vagrantfile for TexLive
- OCaml (merlin) settings for VSCode