Satoshi Takimoto's repositories

eff-ts

Effect handlers using JS/TS Generators

Language:TypeScriptLicense:MITStargazers:2Issues:1Issues:0

lazy

STG-like lazy evaluation mechanism in JavaScript

Language:JavaScriptLicense:MITStargazers:1Issues:0Issues:0

LkProver

An automated LK deduction

Language:OCamlLicense:MITStargazers:1Issues:2Issues:0
Language:TypeScriptLicense:MITStargazers:1Issues:2Issues:0

turing

Turing machine editor

Language:TypeScriptStargazers:1Issues:0Issues:0
Language:AgdaLicense:MITStargazers:0Issues:1Issues:0

Hasche

An interpreter of a subset of Scheme written in Haskell

Language:HaskellStargazers:0Issues:0Issues:0

wasabi315.github.io

wasabi315's personal page

Language:AstroLicense:0BSDStargazers:0Issues:0Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0
Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0
Language:RustStargazers:0Issues:0Issues:0
Language:ShellStargazers:0Issues:1Issues:0
Language:VerilogStargazers:0Issues:0Issues:0

happy-alex-example

Example for combining happy and alex

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

hoogle

Haskell API search engine

License:NOASSERTIONStargazers:0Issues:0Issues:0
Language:AgdaStargazers:0Issues:1Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

optparse-applicative

Applicative option parser

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

piece-table

Piece table implementation in Haskell

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0
Language:RustStargazers:0Issues:0Issues:0

sudoku

The sudoku solver in Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0
Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

tda283

Material for TDA283 / DIT300 Compiler Construction

Stargazers:0Issues:0Issues:0

texlive-ja-devcontainer-template

VS Code Remote Developmentの機能を用いて、LaTeX環境を容易に構築するサンプルコードです。

Language:TeXStargazers:0Issues:0Issues:0

tiger

"Modern Compiler Implementation in ML" in Haskell

Language:YaccLicense:MITStargazers:0Issues:0Issues:0
Language:VueStargazers:0Issues:0Issues:0
Stargazers:0Issues:2Issues:0
Language:OCamlStargazers:0Issues:0Issues:0