Pinned Repositories
AutoTheoremProvers
Auto theorem proving algorithms in Egison
concordance
English Writing Support System on Emacs
dotfiles
My Linux configuration files
egsh
Shell implemented by me in 2007
leofs_sample_hs
Sample code for LeoFS in Haskell
scheme-compiler
Scheme compiler implemented in 2008 with friends
egison
The Egison Programming Language
egison-ruby
A Ruby gem for non-linear pattern-matching with backtracking
egison-scheme
Scheme macros for non-linear pattern matching with backtracking for non-free data types
www.egison.org
The website of Egison
egisatoshi's Repositories
egisatoshi/concordance
English Writing Support System on Emacs
egisatoshi/leofs_sample_hs
Sample code for LeoFS in Haskell
egisatoshi/scheme-meta-interpreter
Scheme interpreters written in Scheme
egisatoshi/ac-for-egison
auto-complete-mode for egison
egisatoshi/CodeMirror
CodeMirror with Egison extension
egisatoshi/core.match
egisatoshi/egison.pira.jp
Egison website in the past
egisatoshi/husk-scheme
Husk is an implementation of the Scheme programming language for the Haskell Platform.
egisatoshi/kvs
Memcache server in Erlang for Erlang Tutorial
egisatoshi/leo_cache
leo_cache is object caching server into RAM and Disc (SSD)
egisatoshi/leo_dcerl
leo_dcerl is disc cache lib for Erlang
egisatoshi/leo_mcerl
leo_mcerl is memory cache lib for Erlang
egisatoshi/linguist
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
egisatoshi/masala
some spice for Python
egisatoshi/nifpp
C++11 Wrapper for Erlang NIF API
egisatoshi/ninenines.github.io
Nine Nines official website.
egisatoshi/NumberInput_IMKit_Sample
sample of mac osx's InputMethodKit framework
egisatoshi/Overloading
egisatoshi/pattern-match
A pattern matching library for Ruby
egisatoshi/poolboy
A hunky Erlang worker pool factory
egisatoshi/poolcat
Active worker pool in OTP manner
egisatoshi/postgres
Mirror of the official PostgreSQL GIT repository. Note that this is just a *mirror* - we don't work with pull requests on github. To contribute, please see http://wiki.postgresql.org/wiki/Submitting_a_Patch
egisatoshi/sdsl-lite
Succinct Data Structure Library 2.0
egisatoshi/sqlite
copy of sqlite source code
egisatoshi/sqlite-parser
An ANTLR4 grammar for SQLite statements.
egisatoshi/sqlite-test
test code of sqlite
egisatoshi/symple
egisatoshi/twitter-graph
Construct the Twitter follow relationship graph
egisatoshi/hTensor
Multidimensional arrays and simple tensor computations
egisatoshi/wolfram-mode
Emacs editing mode for Mathematica and inferior shell.