egisatoshi Goto Github PK
Name: Satoshi Egi
Type: User
Company: Rakuten and UTokyo
Bio: The creator of the @egison programming language.
Location: Tokyo, Japan
Name: Satoshi Egi
Type: User
Company: Rakuten and UTokyo
Bio: The creator of the @egison programming language.
Location: Tokyo, Japan
auto-complete-mode for egison
Embedded language for high-performance array computations
Auto theorem proving algorithms in Egison
Purely Functional Compressed Bit Vectors
CodeMirror with Egison extension
English Writing Support System on Emacs
Data processing for my Counting Stars on Github post
My Linux configuration files
SMT solver in Egison
Egison website in the past
The pattern-matching-oriented pure functional programming language Egison version 4
Shell implemented by me in 2007
Simplify what can hardly be done with Shell.
EMoji inSPECTor
erlang proc files system using nfs
A simple chat server written in Erlang.
Simple MapReduce implementation in Erlang
Describe stencil formurae without even translating them
Describe stencil formurae without even translating them
An experiment in adding functional pattern matching to JavaScript
Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot.
Multidimensional arrays and simple tensor computations
Husk is an implementation of the Scheme programming language for the Haskell Platform.
Memcache server in Erlang for Erlang Tutorial
leo_cache is object caching server into RAM and Disc (SSD)
Sample code for LeoFS in Haskell
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.