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/AutoTheoremProvers
Auto theorem proving algorithms in Egison
egisatoshi/dotfiles
My Linux configuration files
egisatoshi/EMR-Paper-Computation
egisatoshi/website
Website of Satoshi Egi
egisatoshi/hamilton
Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot.
egisatoshi/macro-paper
egisatoshi/monad-parallel-test
egisatoshi/riemann-tensor
Calculation of Riemann Curvature Tensor in Various Computer Algebra System
egisatoshi/accelerate
Embedded language for high-performance array computations
egisatoshi/double-pendulum-simulation
egisatoshi/egison-smt
SMT solver in Egison
egisatoshi/egzact
Simplify what can hardly be done with Shell.
egisatoshi/emspect
EMoji inSPECTor
egisatoshi/formura
Describe stencil formurae without even translating them
egisatoshi/formura-1
Describe stencil formurae without even translating them
egisatoshi/imi-report
egisatoshi/lz4hs
Haskell bindings to lz4
egisatoshi/Mini-TT
mirror of A simple type-theoretic language: Mini-TT
egisatoshi/minidot
Dependent Object Types (DOT), bottom up
egisatoshi/noto-fonts
Noto fonts, except for CJK and emoji
egisatoshi/nymphium.github.io
移民
egisatoshi/OpenFOAM-dev
OpenFOAM Foundation development repository
egisatoshi/pampy
Pampy: The Pattern Matching for Python you always dreamed of.
egisatoshi/parquet-hs
Read parquet format with Haskell
egisatoshi/sat-solver
textbook sat solver; DPLL(BCP) + (linear-time) CDCL + 2WL + eVSIDS + luby restarts + phase saving + trail reuse
egisatoshi/sat_egison
SAT solver written by Egison
egisatoshi/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.
egisatoshi/stackage
"Stable Hackage": vetted consistent packages from Hackage
egisatoshi/vector
An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .
egisatoshi/xah-math-input
emacs minor mode for inputting math and unicode chars