Pinned Repositories
.emacs.d
Settings for Emacs.
23prime-api
Backend Web API for 23prime-page
23prime-page
My web site.
23prime-page-next
aws-lambda-functions-rs
AWS Lambda functions by Rust and Terraform.
gokabot
Gokabot
kdfj
Let's go to Kadofuji!
linear-algebra-rust
oeis2
Interface for Online Encyclopedia of Integer Sequences (OEIS).
sos-page
Official website of high school girl band “Stream of Semen”
23prime's Repositories
23prime/kdfj
Let's go to Kadofuji!
23prime/linear-algebra-rust
23prime/animetick_comp
Chrome Extension which compare user's anime history
23prime/completion-judgment
Completion Judgment Machine
23prime/csv-graph
23prime/diet-tweet
23prime/elliptic-curve
Elliptic curve library for Haskell
23prime/examples
Complete code for the larger example programs from the book.
23prime/follow-list
Fit follow list to follow.
23prime/gakuryoku-saiten
23prime/logger
simple logging utility
23prime/mikutter_keyword_mute
keyword-mute plugin for mikutter
23prime/oeis
Haskell interface to the Online Encyclopedia of Integer Sequences
23prime/okkey-room
23prime/pandoc-plantuml-diagrams
Renders PlantUML diagrams for use with Pandoc
23prime/paper-template
23prime/PG
This repo is the new home of Proof General
23prime/PRS
Calculate PRS
23prime/pub
23prime/py-math
23prime/reveal.js
The HTML Presentation Framework
23prime/scripts
Shell Scripts.
23prime/shuryo-judge
Judge whether you can shuryo or not.
23prime/stack-test
Testing Haskell build tool Stack.
23prime/tmuximum
A command support tmux
23prime/twitter-rs
egg-mode, a twitter api crate for rust
23prime/vscode-snippets
My snippets for Visual Studio Code
23prime/vue-practice
23prime/youtube-open-stream-thumbnail
23prime/youtubeVideoSpeedChanger
youtubeの再生速度を読み込み時とか別動画への移動時に1.0に戻すために作ったChrome拡張.