hsk/type-systems-scala

Stars
9
Rank 1,929,196 (Top 39 %)
Language
Scala
Created almost 9 years ago
Updated almost 9 years ago

hsk/type-systems-scala

hsk

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Implementations of various type systems in Scala.

docs

simpletapl

mincamlj

min caml on java and scala

bulletpl

x86_64

x86_64 compiler using scala.

min-caml-js

OCaml subset to JavaScript translator

msxgl

newlang2018

lllong

windows osx linux対応の x86 x86_64 コンパイラ

SCompiler

Pascal Compiler written in scala language

timi

Timi is simple x86_64 native compiler writing by Scala language for Mac OSX.

tapl

swfspec_ja

sccp_js

cz80d

z80 disassembler with cycle count

draspimd

camlup

camlup is another c like ocaml syntax language

oplldrv

lr-parser-ocaml

type-system-docs

型理論のまとめ

gdis_prolog

very simple prolog

newlang2017

不純で高速な関数型言語の統一的言語を定義するための言語仕様

goma

goma is goma programming language

stinyc

Tiny-C compiler created by Scala language

bas2txt

trans

diary

h_sakurai's diary

jasc

type1

typing compiler

type4

type4 is x86_64 compiler can use the float value

gendev-0.5.0

newlang2016

stiger

tiger language created by scala

ctinyc

Compact Expression syntax Tiny C language Compiler

region_infer

region inference type system

momoplugb

Making Of Making Of Programinng Language Using Git Branch