egisatoshi

AutoTheoremProvers

Auto theorem proving algorithms in Egison

dotfiles

My Linux configuration files

EMR-Paper-Computation

website

Website of Satoshi Egi

hamilton

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

macro-paper

monad-parallel-test

riemann-tensor

Calculation of Riemann Curvature Tensor in Various Computer Algebra System

accelerate

Embedded language for high-performance array computations

double-pendulum-simulation

egison-smt

SMT solver in Egison

egzact

Simplify what can hardly be done with Shell.

emspect

EMoji inSPECTor

formura

Describe stencil formurae without even translating them

formura-1

Describe stencil formurae without even translating them

imi-report

lz4hs

Haskell bindings to lz4

Mini-TT

mirror of A simple type-theoretic language: Mini-TT

minidot

Dependent Object Types (DOT), bottom up

noto-fonts

Noto fonts, except for CJK and emoji

nymphium.github.io

移民

OpenFOAM-dev

OpenFOAM Foundation development repository

pampy

Pampy: The Pattern Matching for Python you always dreamed of.

parquet-hs

Read parquet format with Haskell

sat-solver

textbook sat solver; DPLL(BCP) + (linear-time) CDCL + 2WL + eVSIDS + luby restarts + phase saving + trail reuse

sat_egison

SAT solver written by Egison

scmutils

Scheme Classical Mechanics utilities from Gerald Jay Sussman, as found at http://groups.csail.mit.edu/mac/users/gjs/6946/ and mit-scheme distribution removed.

stackage

"Stable Hackage": vetted consistent packages from Hackage

vector

An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .

xah-math-input

emacs minor mode for inputting math and unicode chars