Pinned Repositories
coq-to-lisp
Coq to Emacs Lisp / Common Lisp Extraction
dc-machine
a call-by-value abstract machine for lambda-calculus + control, shift, control0, shift0, and prompt.
Gauche-process-notation
ocaml-r5rsds
An OCaml implementation of R5RS denotational semantics.
paradoc
A Scribble to HTML/LaTeX converter.
leque's Repositories
leque/dc-machine
a call-by-value abstract machine for lambda-calculus + control, shift, control0, shift0, and prompt.
leque/Gauche-process-notation
leque/optics.ml
an experimental optic library for OCaml
leque/Gauche-pxeger
regexp->string-generator
leque/simple-sub.ml
leque/Gauche-pp
A pretty-printer for Gauche Scheme
leque/sexpr-parser
A parser for subset of R7RS Scheme datum
leque/csv-mode
Major mode for editing comma/char separated values
leque/digamma
leque/dot.emacs
leque/dotfiles
leque/egison-scheme
Scheme macros for Egison pattern matching
leque/el-get
Manage the external elisp bits and pieces upon which you depend!
leque/emacs
Mirror of GNU Emacs
leque/feedbro-locale
leque/fluent-logger-gauche
A structured logger for Fluentd implemented in Gauche
leque/Gauche
Scheme Scripting Engine
leque/Gauche-jsonx
A JSONx utility for Gauche
leque/gauche-mode
An Emacs major mode for Gauche Scheme
leque/Gauche-qq
quasiquotify list-constructing expressions
leque/Gauche-quadkey
leque/Gauche-ulid
leque/Gauche-websocket
leque/get-gauche
Small shell script to install and update Gauche Scheme easily
leque/keepdir
A script to create .keep file
leque/SATySFi
A statically-typed, functional typesetting system
leque/satysfi.el
an Emacs major mode for SATySFi
leque/scheme-datum
Write an elisp datum as a R7RS Scheme datum.
leque/scheme-datum.ml
leque/textfile