Discover @leque Open Source projects

OOHASHI Daichi (@leque)

leque

Stars
38
Global Rank 413,863 (Top 15 %)
Followers 46
Following 1
Registered almost 16 years ago
Most used languages

Scheme
41.7 %

OCaml
33.3 %

Common Lisp
8.3 %

Emacs Lisp
8.3 %

Java
8.3 %
Location 🇯🇵 Japan
Country Total Rank 8,258
Country Ranking

Scheme
16

OCaml
39

Common Lisp
88

Emacs Lisp
425

Java
3,581

dc-machine

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

Gauche-process-notation

paradoc

A Scribble to HTML/LaTeX converter.

coq-to-lisp

Coq to Emacs Lisp / Common Lisp Extraction

ocaml-r5rsds

An OCaml implementation of R5RS denotational semantics.

optics.ml

an experimental optic library for OCaml

simple-sub.ml

Gauche-pxeger

regexp->string-generator

Gauche-pp

A pretty-printer for Gauche Scheme

sexpr-parser

A parser for subset of R7RS Scheme datum

list-sort

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

viper-lisp

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