ashiato45/atomic-emacs
An atomic implementation of emacs keybindings for the Atom text editor.
Developer Profile
ashiato45
Discovered public repositories for ashiato45 in the GitHub catalog.
ashiato45/iwanaga_ring
Public repository.
ashiato45/sumatra-forwardsearch
Public repository.
ashiato45/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.
ashiato45/akiba_antbook
Public repository.
ashiato45/IRCTest
Public repository.
ashiato45/IRCAndroidTest
Public repository.
ashiato45/CoqEx2014
http://qnighy.github.io/coqex2014/
ashiato45/python_misc
Public repository.
ashiato45/ashiato45.github.com
Public repository.
ashiato45/PostmodernAnalysis
Public repository.
ashiato45/blog_article
Public repository.
ashiato45/Linear-Congruent-Expression-Solver
Public repository.