• Stars
    star
    8
  • Rank 2,099,232 (Top 42 %)
  • Language
    Prolog
  • Created almost 7 years ago
  • Updated almost 6 years ago

Reviews

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

Repository Details

More Repositories

1

docs

any docs
C++
17
star
2

type-systems-scala

Implementations of various type systems in Scala.
Scala
9
star
3

mincamlj

min caml on java and scala
Scala
7
star
4

bulletpl

Prolog
5
star
5

x86_64

x86_64 compiler using scala.
Scala
5
star
6

min-caml-js

OCaml subset to JavaScript translator
OCaml
4
star
7

msxgl

usage MSXGL
C
4
star
8

newlang2018

Prolog
4
star
9

lllong

windows osx linux対応の x86 x86_64 コンパイラ
Scala
4
star
10

SCompiler

Pascal Compiler written in scala language
Scala
3
star
11

timi

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

tapl

OCaml
3
star
13

swfspec_ja

Flash SWF Spec
3
star
14

sccp_js

JavaScript
3
star
15

cz80d

z80 disassembler with cycle count
C
2
star
16

draspimd

C
2
star
17

camlup

camlup is another c like ocaml syntax language
OCaml
2
star
18

oplldrv

C
2
star
19

lr-parser-ocaml

OCaml
2
star
20

type-system-docs

型理論のまとめ
1
star
21

gdis_prolog

very simple prolog
Prolog
1
star
22

newlang2017

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

goma

goma is goma programming language
OCaml
1
star
24

stinyc

Tiny-C compiler created by Scala language
Scala
1
star
25

bas2txt

C
1
star
26

trans

Prolog
1
star
27

diary

h_sakurai's diary
CSS
1
star
28

jasc

OCaml
1
star
29

type1

typing compiler
Scala
1
star
30

type4

type4 is x86_64 compiler can use the float value
Scala
1
star
31

gendev-0.5.0

Assembly
1
star
32

newlang2016

Prolog
1
star
33

stiger

tiger language created by scala
Java
1
star
34

ctinyc

Compact Expression syntax Tiny C language Compiler
Scala
1
star
35

region_infer

region inference type system
OCaml
1
star
36

momoplugb

Making Of Making Of Programinng Language Using Git Branch
Prolog
1
star