krtx/ml-prolog krtx/ml-prolog

  • Stars
    star
    3
  • Rank 3,888,614 (Top 79 %)
  • Language
    Prolog
  • Created over 9 years ago
  • Updated over 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
krtx/ml-prolog
github

krtx

Reviews

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

Repository Details

ML interpreter written in Prolog

More Repositories

1

ws-ocaml

WebSocket server implementation of OCaml
OCaml
14
star
2

lua-parser

Lua parser implemented in OCaml
OCaml
9
star
3

agda-handson

agda handson
Agda
6
star
4

rust-raytrace

raytrace
Rust
1
star
5

glitch-text

common lisp glitch-text library
Common Lisp
1
star
6

le4a

tiny ml compiler
OCaml
1
star