leque/dc-machine leque/dc-machine

  • Stars
    star
    5
  • Rank 2,790,194 (Top 57 %)
  • Language
    OCaml
  • Created about 2 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
leque/dc-machine
github

leque

Reviews

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

Repository Details

a call-by-value abstract machine for lambda-calculus + control, shift, control0, shift0, and prompt.

More Repositories

1

Gauche-process-notation

Scheme
7
star
2

paradoc

A Scribble to HTML/LaTeX converter.
Scheme
4
star
3

ocaml-r5rsds

An OCaml implementation of R5RS denotational semantics.
OCaml
3
star
4

optics.ml

an experimental optic library for OCaml
OCaml
3
star
5

coq-to-lisp

Coq to Emacs Lisp / Common Lisp Extraction
Common Lisp
3
star
6

simple-sub.ml

OCaml
2
star
7

Gauche-pxeger

regexp->string-generator
Scheme
2
star
8

Gauche-pp

A pretty-printer for Gauche Scheme
Scheme
1
star
9

sexpr-parser

A parser for subset of R7RS Scheme datum
Java
1
star
10

list-sort

a fast destructive stable merge sort implementation for Gauche Scheme interpreter.
Scheme
1
star
11

viper-lisp

Minor-mode for editing LISP in viper-mode as in the traditional vi.
Emacs Lisp
1
star