Pinned Repositories
bulletpl
docs
any docs
lllong
windows osx linux対応の x86 x86_64 コンパイラ
min-caml-js
OCaml subset to JavaScript translator
mincamlj
min caml on java and scala
msxgl
usage MSXGL
newlang2018
simpletapl
type-systems-scala
Implementations of various type systems in Scala.
x86_64
x86_64 compiler using scala.
hsk's Repositories
hsk/lang_narrow
A language with flow typing and structural type narrowing.
hsk/homebrew-m1
m1 mac gendev 0.4.0
hsk/brew-bottle
hsk/m1-gendev
hsk/m1-gendev-gcc
hsk/gendev-0.5.0
hsk/gendev-0.4.1
hsk/gendev-0.4.0
m1 mac gendev-0.4.0
hsk/draspimd
hsk/SCompiler
Pascal Compiler written in scala language
hsk/prolog_test_bon
hsk/cz80d
z80 disassembler with cycle count
hsk/docs
any docs
hsk/newlang2018
hsk/gdis_prolog
very simple prolog
hsk/corrode
C to Rust translator
hsk/simpletapl
hsk/vscode-debugger-simple-asm
hsk/codext
Browser extension to view and manipulate code in an advanced editor
hsk/cadt
Example of Simple algebraic data types for C
hsk/bulletpl
hsk/rtg
RTG - Regular Tree Grammer validator
hsk/pcla
hsk/region_infer
region inference type system
hsk/type-system-docs
型理論のまとめ
hsk/region_based_mini_ml
Implementation of region inference for meta language.
hsk/ohori95
hsk/larn_en
hsk/lr-parser-ocaml
hsk/clover2
Javaの様に静的な型を持つRuby風のコンパイラ言語です。インタプリタとしても使えます。LLVMでJITもします。詳しくはwikiを見てください