clisp

There are 40 repositories under clisp topic.

  • resolution-theorem-prover

    Proves the Sentences (LOGIC Formulae) given in Clausal Form

    Language:Common Lisp

  • LISP-programs

    This repository contains basic programs using Common Lisp and NewLisp.

    Language:Common Lisp

  • lisp_lodash

    An attempt to re-write the lodash library in Common Lisp

    Language:Common Lisp

  • clisp

    Hi! Welcome to my clisp repository

    Language:Common Lisp