Beast code in Giters

OOHASHI Daichi's repositories

coq-to-lisp

Coq to Emacs Lisp / Common Lisp Extraction

Language:Common Lisp4 40

paradoc

A Scribble to HTML/LaTeX converter.

Language:SchemeBSD-3-Clause4 40

ocaml-r5rsds

An OCaml implementation of R5RS denotational semantics.

Language:OCamlBSD-3-Clause3 30

list-sort

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

Language:SchemeBSD-3-Clause100

viper-lisp

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

Language:Emacs Lisp100

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Language:OCamlLGPL-2.1000

esexpr

a toy subset grammar for Emacs Lisp like S-expression

Language:C++000

FlickSKK

SKK(Simple Kana to Kanji conversion program) for iOS with flick keypad

Language:Swift000

gauche-paren-type

Language:Emacs Lisp000

Gauche-srfi-115

Gauche port of SRFI 115

Language:SchemeBSD-2-Clause000

ocaml-diff

An OCaml implementation of Eugene Myers' O(ND) Difference Algorithm

Language:OCaml000

ocaml-mysql

OCaml bindings to libmysqlclient

Language:OCamlLGPL-2.1000

ocaml-promise

Language:OCamlBSD-3-Clause000

org-preview-html

automatically use eww to preview current org-file when save

Language:Emacs Lisp000

redex

redex modules for papers, etc

Language:CoqNOASSERTION000

skk-jisyo

Language:Scheme000

SLC-Implementation

Filinski, A, 1989. Declarative continuations and categorical duality, Appendix A のSLC実装をF#で

Language:F#000

SmlSharpContrib

Language:Standard MLMIT000

the-rust-programming-language-ja

Rust文書の和訳レポジトリ

Language:HTMLNOASSERTION000