23prime

Okkey's repositories

kdfj

Let's go to Kadofuji!

Language:TeXMIT6 20

linear-algebra-rust

Language:Rust1 20

animetick_comp

Chrome Extension which compare user's anime history

Language:JavaScript000

completion-judgment

Completion Judgment Machine

Language:Rust020

csv-graph

Language:HaskellBSD-3-Clause000

diet-tweet

Language:HaskellBSD-3-Clause020

elliptic-curve

Elliptic curve library for Haskell

Language:HaskellBSD-3-Clause000

examples

Complete code for the larger example programs from the book.

Language:RustMIT020

follow-list

Fit follow list to follow.

Language:RustMIT020

gakuryoku-saiten

Language:HaskellBSD-3-Clause020

logger

simple logging utility

Language:RubyBSD-2-Clause010

mikutter_keyword_mute

keyword-mute plugin for mikutter

Language:RubyMIT000

oeis

Haskell interface to the Online Encyclopedia of Integer Sequences

Language:HaskellNOASSERTION020

okkey-room

020

pandoc-plantuml-diagrams

Renders PlantUML diagrams for use with Pandoc

Language:HaskellISC010

paper-template

020

PG

This repo is the new home of Proof General

Language:Emacs LispGPL-2.0020

PRS

Calculate PRS

Language:Python020

pub

020

py-math

Language:Python020

reveal.js

The HTML Presentation Framework

Language:JavaScriptMIT000

scripts

Shell Scripts.

Language:Shell020

shuryo-judge

Judge whether you can shuryo or not.

Language:HaskellBSD-3-Clause000

stack-test

Testing Haskell build tool Stack.

Language:HaskellBSD-3-Clause020

tmuximum

A command support tmux

Language:Shell020

twitter-rs

egg-mode, a twitter api crate for rust

Language:RustMPL-2.0020

vscode-snippets

My snippets for Visual Studio Code

020

vue-practice

Language:Vue020

youtube-open-stream-thumbnail

Language:JavaScript020

youtubeVideoSpeedChanger

youtubeの再生速度を読み込み時とか別動画への移動時に1.0に戻すために作ったChrome拡張．

Language:JavaScript010