leque/viper-lisp leque/viper-lisp

  • Stars
    star
    1
  • Language
    Emacs Lisp
  • Created almost 11 years ago
  • Updated about 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
leque/viper-lisp
github

leque

Reviews

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

Repository Details

Minor-mode for editing LISP in viper-mode as in the traditional vi.

More Repositories

1

dc-machine

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

Gauche-process-notation

Scheme
7
star
3

paradoc

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

coq-to-lisp

Coq to Emacs Lisp / Common Lisp Extraction
Common Lisp
4
star
5

ocaml-r5rsds

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

optics.ml

an experimental optic library for OCaml
OCaml
3
star
7

simple-sub.ml

OCaml
2
star
8

Gauche-pxeger

regexp->string-generator
Scheme
2
star
9

Gauche-pp

A pretty-printer for Gauche Scheme
Scheme
1
star
10

sexpr-parser

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

list-sort

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