University of Oklahoma Senior Capstone Project - Functional Programming an Email Client/Server system with ACL2 Theorems
-
Updated
Apr 9, 2015 - Common Lisp
Common Lisp is a general-purpose programming language in the Lisp language family. Its syntax is defined on top of s-expressions, however it can be extended through the use of reader macros. It supports compile-time meta-programming through the use of macros. It supports the OOP paradigm through the Common Lisp Object System. The API upon which CLOS is implemented is exposed to the programmer so they can extent the object system. This API is referred as the Meta-Object Protocol. There are multiple implementations available: SBCL, which generates fast code, CCL, which compiles code fast, ABCL, which runs on the JVM, JSCL which runs on Node, and the browser, etc.
University of Oklahoma Senior Capstone Project - Functional Programming an Email Client/Server system with ACL2 Theorems
LMC (Little Man Computer) simulator written in CommonLisp and Prolog.
Brainfuck compiler written in Common Lisp
Hunchentoot+React : Projeto Final TWM(UFU)
Defines a simple extensible protocol for computing a guess using advisors.
Minimal decentralized "package manager" for Common Lisp (< 150 LOC)
This is a fork of the current cl-smtp in https://gitlab.common-lisp.net/cl-smtp/cl-smtp
Write Portable Common Lisp Code
interacts with github api and brings user data
Regular expression template library for Common Lisp inspired by logstash grok filter module
university assignments in Common Lisp (CS 3210)
Common Lisp wrapper for https://github.com/lcm-proj/lcm "C" project
Created by X3J13
Released 1984