ashiato45

AnonymizedJapan

Pinned Repositories

abramsky_categoricallogic
Language:TeX00
akiba_antbook
Language:Haskell1 2 00
angluin-automata-learning
An implementation of Angluin's automata learning method
Language:Jupyter Notebook9 2 03
gdb-track-pc
Tracking the trace of program pointers of a program on GDB
10
igarashi-copl-mode
Emacs major mode for the exercise system of 「プログラミング言語の基礎概念」 written by Atsushi Igarashi
Language:Emacs Lisp1 2 00
smt-ashiato45
learning
Language:C++10
sumatra-forwardsearch
Language:C#10
twitter_yamero
Language:JavaScript20

ashiato45's Repositories

ashiato45/angluin-automata-learning
An implementation of Angluin's automata learning method
Language:Jupyter Notebook9 2 03
ashiato45/gdb-track-pc
Tracking the trace of program pointers of a program on GDB
10
ashiato45/igarashi-copl-mode
Emacs major mode for the exercise system of 「プログラミング言語の基礎概念」 written by Atsushi Igarashi
Language:Emacs Lisp1 2 00
ashiato45/smt-ashiato45
learning
Language:C++10
ashiato45/android_speech_tts
Learning usage of speech recognition and TTS in Android
Language:Kotlin
ashiato45/antbook_exercise
Excercises in "プログラミングコンテストチャレンジブック 2nd Edition"
Language:C++
ashiato45/antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
ashiato45/ashiato45.github.com
Language:HTML
ashiato45/bbstest
Learning Golang
Language:Go
ashiato45/fleuret
Fencing game made in Unity5
Language:ASP
ashiato45/isucon9-qualify-ashiato45
ISUCON9予選を自分なりにいじってみる
Language:Go
ashiato45/ktsushima_tapl
An implementaiton of the lecture given by Dr. Kanae Tsushima in 2018
Language:OCaml
ashiato45/limited-grades
A site for visualizing card win rates for Magic: The Gathering limited play, powered by 17Lands data
Language:TypeScript
ashiato45/loader-test
リンカローダ実践開発を読んだメモ
Language:C
ashiato45/ltl2bv
Converts an LTL formula to an equivalent Beuchi automaton
Language:OCaml
ashiato45/min-caml
moved from https://sourceforge.net/p/min-caml/code/
Language:OCaml
ashiato45/modineq
a visualizer of inequality with modulus
Language:TypeScript
ashiato45/oden
Easy distributed computation (with no communication) just by one file
Language:Python
ashiato45/polynomial-viewer
Pretty printer of polynomial that works on a webpage
Language:TypeScript
ashiato45/practice-docker-pdflatex
Language:TeX
ashiato45/redundant-space-remover
A static tool to remove redundant spaces and hypones at line breaks.
Language:HTML
ashiato45/repeat_after_me
An Android app to support learning English by listening, speaking, and checking.
Language:Kotlin
ashiato45/sugiyama_data_upload
Assignments of Data Analysis held by Prof. Sugiyama in 2017.
Language:TeX
ashiato45/system-design-primer
system-design-primerのsolutionに私訳をつける
Language:Python
ashiato45/toy_verifier
Language:OCaml
ashiato45/visitor_test
Language:Java
ashiato45/while
Usual WHILE language (aiming at model checking)
Language:Haskell
ashiato45/z3
The Z3 Theorem Prover
Language:C++
ashiato45/zenn
ashiato45/zenn-contents