egisatoshi Goto Github PK

ac-for-egison

auto-complete-mode for egison

accelerate

Embedded language for high-performance array computations

autotheoremprovers

Auto theorem proving algorithms in Egison

bitvectors

Purely Functional Compressed Bit Vectors

codemirror

CodeMirror with Egison extension

concordance

English Writing Support System on Emacs

core.match

counting-stars

Data processing for my Counting Stars on Github post

dotfiles

My Linux configuration files

double-pendulum-simulation

egison-smt

SMT solver in Egison

egison.pira.jp

Egison website in the past

egison4

The pattern-matching-oriented pure functional programming language Egison version 4

egsh

Shell implemented by me in 2007

egzact

Simplify what can hardly be done with Shell.

emr-paper-computation

emspect

EMoji inSPECTor

enfs

erlang proc files system using nfs

erl-chat-server

A simple chat server written in Erlang.

erlang-mapreduce

Simple MapReduce implementation in Erlang

formura

Describe stencil formurae without even translating them

formura-1

Describe stencil formurae without even translating them

funcy

An experiment in adding functional pattern matching to JavaScript

hamilton

Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot.

htensor

Multidimensional arrays and simple tensor computations

husk-scheme

Husk is an implementation of the Scheme programming language for the Haskell Platform.

imi-report

kvs

Memcache server in Erlang for Erlang Tutorial

leo_cache

leo_cache is object caching server into RAM and Disc (SSD)

leofs_sample_hs

Sample code for LeoFS in Haskell