kmizu Goto Github PK
Name: Kota Mizushima
Type: User
Bio: Ph.D. (Engineering). Interested in programming languages/formal lanruages/parser/...
Twitter: kmizu
Location: Osaka, Japan
Name: Kota Mizushima
Type: User
Bio: Ph.D. (Engineering). Interested in programming languages/formal lanruages/parser/...
Twitter: kmizu
Location: Osaka, Japan
Simple calculator application written in C++
Brainfuck interpreter on GPGPU with CUDA
Research compiler that will become Scala 3
An example sbt project that compiles using Dotty
Tree builder example in Dotty
C++11 Parsing Expression Grammar Generator
Egison is a purely functional programming language with non-linear pattern-matching against non-free data types. We can directly pattern-match against a wide range of data types such as lists, multisets, sets, trees and graphs with Egison.
Build cross platform desktop apps with web technologies
An Elixir Parser Combinator Library
A simple parser combinator library in Erlang. Created only for learning Erlang
Erlang lint and formatter
JavaScriptの本
A Parser Combinator Library Written in ES2015. It is not intended to make practical library but to learn ES2015
This repository is meaningless without myself since it's just for time trial to create simple evaluator
「任意の整数について、奇数か偶数か判定する」コードを自動生成するコードについてまとめたリポジトリです。ネタ元: https://twitter.com/NAGAYASU_Shinya/status/1143868066440216577
An example repository to test travis-ci
Example of NumJS https://github.com/cliffordwolf/NumJS
[WIP] Faster Implementation of Dialyzer
The Flix Programming Language
Functional constructs for Kotlin
Funtom is a programming language which has a language feature named "Phantom Call"
Scala Math - Numerical (Matlab-like) and Symbolic (Mathematica-like) tool
A general-purpose probabilistic programming system with programmable inference
ジェネリクス勉強会用リポジトリ
Toolkit for map relation calculation.
A GitBook plugin to allow embedding a markdown inside a div element.
GitBook test
A Git platform powered by Scala with easy installation, high extensibility & github API compatibility
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.