AkiraHakuta

Kanagawa, Japan

Pinned Repositories

antlr4_Cpp_examples
Some examples of the Cpp target.
Language:C++10 2 09
antlr4_html2latex
HTML to LaTeX converter using antlr4.
Language:Python11
antlr4_Python3_examples
Some examples of the Python3 target.
Language:Python11 2 03
antlr4_tex2sym
antlr4_tex2sym parses LaTeX math expressions and converts it into the equivalent SymPy form by using antlr4.
Language:Python112
Conways_Game_of_Life_FLTK
5 types of topologies supported : Torus, Klein Bottle, 1/2 twisted Cylinder, 1/3 twisted Torus, closed Rectangle
Language:C++00
lambda2SKIBC
Conversion of lambda to SKIBC implemented in antlr4
Language:C++10
ply_tex2maxima
LaTeX to Maxima converter using ply.
Language:Python4 2 01
ply_tex2sym
LaTeX to SymPy converter using ply.
Language:Python73
SKIBC
SKIBC combinator calculus implemented in antlr4, testing factorial, map, fold-left
Language:C++00
untyped-hs
Implementation of untyped lambda calculus using Haskell StateT, Reduction Strategies, List Examples
Language:Haskell00

AkiraHakuta's Repositories

AkiraHakuta/antlr4_Python3_examples
Some examples of the Python3 target.
Language:Python11 2 03
AkiraHakuta/antlr4_tex2sym
antlr4_tex2sym parses LaTeX math expressions and converts it into the equivalent SymPy form by using antlr4.
Language:Python112
AkiraHakuta/antlr4_Cpp_examples
Some examples of the Cpp target.
Language:C++10 2 09
AkiraHakuta/ply_tex2sym
LaTeX to SymPy converter using ply.
Language:Python73
AkiraHakuta/ply_tex2maxima
LaTeX to Maxima converter using ply.
Language:Python4 2 01
AkiraHakuta/antlr4_html2latex
HTML to LaTeX converter using antlr4.
Language:Python11
AkiraHakuta/lambda2SKIBC
Conversion of lambda to SKIBC implemented in antlr4
Language:C++10
AkiraHakuta/Conways_Game_of_Life_FLTK
5 types of topologies supported : Torus, Klein Bottle, 1/2 twisted Cylinder, 1/3 twisted Torus, closed Rectangle
Language:C++00
AkiraHakuta/SKIBC
SKIBC combinator calculus implemented in antlr4, testing factorial, map, fold-left
Language:C++00
AkiraHakuta/untyped-hs
Implementation of untyped lambda calculus using Haskell StateT, Reduction Strategies, List Examples
Language:Haskell00
AkiraHakuta/antlr4_JavaScript_examples
Example with Webpack, JSON to XML translator
Language:JavaScript
AkiraHakuta/PyRInText
PyRInText runs Python (or PyPy) and R code embedded in text file.
Language:C++
AkiraHakuta/pythontex_example
Some examples using PythonTeX
Language:TeX
AkiraHakuta/video-for-class-using-OBS
OBS Studio で授業動画を作る (Japanese version only)

AkiraHakuta

Pinned Repositories

antlr4_Cpp_examples

antlr4_html2latex

antlr4_Python3_examples

antlr4_tex2sym

Conways_Game_of_Life_FLTK

lambda2SKIBC

ply_tex2maxima

ply_tex2sym

SKIBC

untyped-hs

AkiraHakuta's Repositories

AkiraHakuta/antlr4_Python3_examples

AkiraHakuta/antlr4_tex2sym

AkiraHakuta/antlr4_Cpp_examples

AkiraHakuta/ply_tex2sym

AkiraHakuta/ply_tex2maxima

AkiraHakuta/antlr4_html2latex

AkiraHakuta/lambda2SKIBC

AkiraHakuta/Conways_Game_of_Life_FLTK

AkiraHakuta/SKIBC

AkiraHakuta/untyped-hs

AkiraHakuta/antlr4_JavaScript_examples

AkiraHakuta/PyRInText

AkiraHakuta/pythontex_example

AkiraHakuta/video-for-class-using-OBS