tabe/goedel-number

Stars
2
Language
Scheme
Created almost 15 years ago
Updated almost 15 years ago

tabe/goedel-number

tabe

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

An R6RS implementation of "A Space-efficient Goedel numbering with Chinese Remainder Theorem"

libo-basic-mode

A major mode for editing LibreOffice Basic programs

lunula

A continuation-based framework for web applications

Gauche-TeX

A package of Gauche Scheme implementation for TeX

sxml

An R6RS library for SXML

Gauche-gd

A package of GD library for Gauche

smathml

An R6RS library for MathML

Gauche-memcache

A package of memcached client utility for Gauche

errata

Errata beta -- a web application for those who share books' errata

xunit

An R6RS library for xUnit

manued

An R6RS library for Manued (真鵺道)

http

An R6RS library for Hypertext Transfer Protocol (HTTP)

ypsilon-foreign-lib

A collection of foreign libraries for Ypsilon Scheme

lcs

An R6RS library for Longest Common Subsequence (LCS)

base64

An R6RS library for Base64

uri

An R6RS library for Uniform Resource Identifier (URI)

otf

An R6RS library for OpenType font format

crothr

A Nix package of Torch for R