ashiato45 Goto Github PK

abramsky_categoricallogic

akiba_antbook

android_speech_tts

Learning usage of speech recognition and TTS in Android

angluin-automata-learning

An implementation of Angluin's automata learning method

antbook_exercise

Excercises in "プログラミングコンテストチャレンジブック 2nd Edition"

antlr4

ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

ashiato45-atom

ashiato45.github.com

atomic-emacs

An atomic implementation of emacs keybindings for the Atom text editor.

bbstest

Learning Golang

blog_article

bochnak_realag

bracket-matcher

Jump to brackets

clipboardsave

CUI tool that save the clipboard into a file and puts the path. Windows only.

coqex2014

http://qnighy.github.io/coqex2014/

cox_grobner

Reading note for "Ideals, Varieties, and Algorithms"(グレブナ基底と代数多様体入門) written by D.Cox, J.Litte, D.O'Shea. Including haskell codes for calculation and exercises.

eijiro2anki

fifteen

fleuret

Fencing game made in Unity5

gdb-track-pc

Tracking the trace of program pointers of a program on GDB

igarashi-copl-mode

Emacs major mode for the exercise system of 「プログラミング言語の基礎概念」 written by Atsushi Igarashi

ircandroidtest

irctest

isucon9-qualify-ashiato45

ISUCON9予選を自分なりにいじってみる

iwanaga_ring

janert_control

ktsushima_tapl

An implementaiton of the lecture given by Dr. Kanae Tsushima in 2018

latex-beamerposter

The LaTeX beamerposter package

limited-grades

A site for visualizing card win rates for Magic: The Gathering limited play, powered by 17Lands data

linear-congruent-expression-solver