search algorithm collection

dot files

implementation of DNS(domain name system)

test repository for travis ci

implementation of IDNA protocol

my implementation of SVM(support vector machine)

experimental language for type inference

simple logic programming environment

search engine

sentence generator

machine lerning library for understanding

social graph mining

unification library for lisp structures

a typed functional language

esolang

rewriting of flexpr

implementation of Knuth-Bendix completion algorithm

solutions for project euler

reduce lengthy of the defpackage

tableau method and lexpr module

library for projecteuler

my logic note

lisp interpreter written in python

matrix module for cl