All sites of Programmin­g

Genworks International Genworks International
Genworks International- GDL Application Development System, dynamic Knowledge Base Language and Development Environment; Generative Web Language (GWL), an integrated web-based user interface platform, for rapid developme ...
cCLan cCLan
cCLan- A project to package and easily distribute Lisp software. It is loosely modelled after the ideas behind CPAN, for Perl. ...
CLiki CLiki
CLiki- Interactive, collaborative Wiki dedicated to Common Lisp. Large amount of diverse information. ...
AllegroServe AllegroServe
AllegroServe- Web application server to embed in Common Lisp programs. [Open Source, LGPL] ...
lisp-cgi-utils lisp-cgi-utils
lisp-cgi-utils- A software package for developing CGI scripts with Common Lisp. It implements a very basic HTTP/CGI interface (sending headers, getting GET/POST and environment variables) and offers tools for easier HTML ...
CL-PPCRE CL-PPCRE
CL-PPCRE- A portable Perl-compatible regular expressions for Common Lisp. [Open source, BSD-style license] ...
RDNZL RDNZL
RDNZL- A .NET layer for Common Lisp. Lets CL programs interact with .NET libraries. Open source, BSD-like license. ...
CL-GD CL-GD
CL-GD- A library for Common Lisp which provides an interface to the GD Graphics Library for the dynamic creation of images. It is based on UFFI and should thus be portable to all CL implementations supported by UFFI. [Op ...
CL-Interpol CL-Interpol
CL-Interpol- Library for Common Lisp, modifies reader to have interpolation within strings similar to Perl or Unix Shell scripts; gives various ways to insert arbitrary characters into literal strings even if editor/IDE ...
CL-WHO CL-WHO
CL-WHO- A Lisp Markup Language, i.e. it provides convenient means to convert S-expressions intermingled with code into (X)HTML, XML, or whatever. [Open source, BSD-style license] ...
HTML-Template HTML-Template
HTML-Template- Portable library for Common Lisp, can be used to fill templates with arbitrary (string) values at runtime; loosely modeled after Perl module HTML::Template and compatible with a subset of its syntax. [Open ...
TBNL TBNL
TBNL- A toolkit for building dynamic websites with Common Lisp. It employs the popular Apache web server for the actual HTTP communication between the server and the browser and it uses Marc Battyani's mod_lisp for the c ...
URL-Rewrite URL-Rewrite
URL-Rewrite- Small package, can be used to programmatically rewrite (X)HTML documents, to replace some attribute values by others. Description, code samples, downloads, links. [Open source, BSD-style license] ...
CL-EMB CL-EMB
CL-EMB- A library to embed Common Lisp and special template tags into normal text files. Can be used for dynamically generated HTML pages. [Open source, Lisp Lesser General Public Licence] ...
McCLIM McCLIM
McCLIM- An open source implementation of the Common Lisp Interface Manager, a portable and standardized library for constructing user interfaces. ...
CL-WIKI CL-WIKI
CL-WIKI- Wiki engine for Common Lisp. Runs alone or on Apache + mod_lisp. [Open source, Lisp Lesser General Public License] ...
Hunchentoot Hunchentoot
Hunchentoot- Web server coded in Common Lisp; supports HTTP/1.1 chunking, persistent connections (keep-alive), and SSL; works only with LispWorks. ...
Garnet Garnet
Garnet- A user interface development environment for Common Lisp and X11 or Macintosh. It helps you create graphical, interactive user interfaces for your software. ...
Foil: Foreign Object Interface for Lisp Foil: Foreign Object Interface for Lisp
Foil: Foreign Object Interface for Lisp- Protocol and libraries that help access common object runtimes (JVM, CLI/CLR (.MET)) and their libraries, from Lisp. Open source, Common Public License. ...
Common Lisp Music Common Lisp Music
Common Lisp Music- A music synthesis and signal processing package in the Music V family. ...
DFKI: MAS Publications: Multi-Agent Systems DFKI: MAS Publications: Multi-Agent Systems
DFKI: MAS Publications: Multi-Agent Systems- Abstract and PostScript version of 'Multi-Agent Planning Using an Abductive Event Calculus' in which a planning service module is incorporated into a constraint-logic framewor ...
JICSLP'96 Workshop on Parallelism and Implementation Technology JICSLP'96 Workshop on Parallelism and Implementation Technology
JICSLP'96 Workshop on Parallelism and Implementation Technology- Post-JICSLP'96 Workshop and 1996 Compulog Net Area Meeting on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages. ...
A Comparative Study of Eight Constraint Programming Languages A Comparative Study of Eight Constraint Programming Languages
A Comparative Study of Eight Constraint Programming Languages- Compares efficiency of 8 Constraint Logic Programming (CLP) systems in the setting of finite domains, and a specific aspect of their expressiveness: that con ...
Nicolog Nicolog
Nicolog- Constraint logic programming language with the abilities of CLP(BNR) and most of those of cc(FD). Possibility to program directly in projection constraints makes Nicolog more flexible than many CLP systems. FTP ...
Echidna Echidna
Echidna- Constraint logic programming language that includes ideas from object-oriented programming and intelligent backtracking. Constraints include finite domain constraints (as in CHiP) and disjoint real interval doma ...
FormulaOne FormulaOne
FormulaOne- Constraint logic programming (CLP) based language. Backtracking, advanced data types (including "Bignum") and data structures. IDE/Compiler for Windows 2000/XP/Vista/W7. ...
Why Can't Humans Talk to a Computer? Why Can't Humans Talk to a Computer?
Why Can't Humans Talk to a Computer?- The technical problems are answered by non-procedural logical constraint-based languages like Prolog. ...
Elf Meta-Language Elf Meta-Language
Elf Meta-Language- Constraint-logic programming language based on LF Logical Framework; a uniform meta-language for specifying, implementing, and proving properties of programming languages and logics that is implemented ...
Constraint Logic Programming: CLP Constraint Logic Programming: CLP
Constraint Logic Programming: CLP- Technical reports on CLP at the Austrian Research Institute for Artificial Intelligence (ÖFAI) of the Austrian Society for Cybernetics. ...
clp(Q,R) clp(Q,R)
clp(Q,R)- Implementation of general Constraint Logic Programming scheme introduced by Jaffar, Michaylov 1987. As full as other CLP(R)s: solves linear equations over rational or real valued variables, and covers lazy trea ...
ResearchIndex: Hierarchical Constraint Logic Programming ResearchIndex: Hierarchical Constraint Logic Programming
ResearchIndex: Hierarchical Constraint Logic Programming- A constraint describes a relation to maintain; it states what the relationship is versus how to maintain it. In many uses (interactive graphics, planning, documen ...
CLP(R) Compiler CLP(R) Compiler
CLP(R) Compiler- Description and contact for runtime, compiler (byte-code), constraint solver; free for academic and research use. ...
OPBDP OPBDP
OPBDP- Free, logic-based constraint solver: C++ implementation of implicit enumeration algorithm for solving (non)linear 0-1 (or pseudo-Boolean) optimization problems with integer coefficients. ...
CLP(R) Programmer's Manual CLP(R) Programmer's Manual
CLP(R) Programmer's Manual- Version 1.2 by Heintze, Jaffar, Michaylov, Stuckey and Yap (IBM Watson Research Center, 1992) in PDF. ...
ECLiPSe: The ECRC Constraint Logic Parallel System ECLiPSe: The ECRC Constraint Logic Parallel System
ECLiPSe: The ECRC Constraint Logic Parallel System- Compiler-oriented development environment for constraint-logic applications with extended Prolog technology, persistent knowledge base, constraint-handling facilities a ...
CCL II: Construction of Computational Logics II CCL II: Construction of Computational Logics II
CCL II: Construction of Computational Logics II- Working group (22457: CCL II) in the ESPRIT Basic Research program of European Union, successor project of working group CCL I: people, teams, workshop and conference, sum ...
CHR - Constraint Handling Rules CHR - Constraint Handling Rules
CHR - Constraint Handling Rules- Home page of the CHR hosted constraint logic programming language. CHR is a toolkit for in effect building constraint solvers. It is most commonly hosted on Prolog but Java-, Haskell- and ...
Curry Curry
Curry- Multiparadigm declarative programming language seamlessly merges functional, logic, and concurrent programming paradigms; covers the most important operational principles in the area of integrated functional logic ...
Functional Logic Programming Functional Logic Programming
Functional Logic Programming- Michael Hanus's pages on amalgamating functional and logic programming. ...
LPG LPG
LPG- Generic functional logic language: functions defined by conditional rewrite rules, predicates defined by Horn clauses whose bodies may contain equations, disequations, or classical atomic formulae. Extant version us ...
RELFUN RELFUN
RELFUN- Relational-Functional Language: logic-programming language with call-by-value (eager) expressions of non-deterministic, non-ground functions; clauses are Hornish, succeeding with true(s), or footed, returning any ...
ALF ALF
ALF- Foundation: Horn clause logic with equality which consists of predicates and Horn clauses for logic programming, and functions and equations for functional programming. A full integration of both programming models, ...
HAL HAL
HAL- Strongly typed, weakly moded, constraint-logic functional language designed to support construction, extension, and use of new constraint solvers. ...
Escher Escher
Escher- Declarative, general-purpose language, merges best features of functional and logic languages. Has types and modules, higher-order and meta-programming facilities, declarative input/output. Set of system modules ...
The Mercury Project The Mercury Project
The Mercury Project- Logic/functional programming language which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features. ...
Doris Doris
Doris- Lua binding to OpenGL graphics API and GLUI OpenGL widget set. Open source, GPL. ...
Ldb Ldb
Ldb- Lua debugger. Free for academic, non profit use. ...
Lua Cheia Lua Cheia
Lua Cheia- Lua distribution with many useful libraries, that can be loaded dynamically, or built into the interpreter. Makes Lua more usable as stand-alone language. ...
LuaForge LuaForge
LuaForge- Hosts over 200 open source projects, over 500 registered users; much of the Lua community is here; GForge installation; free repository for project management, categorization, issue tracking; descriptions, news ...
LuaEdit LuaEdit
LuaEdit- Lua 5.0 IDE, debugger, script editor: syntax highlighting, completion proposal list, parameter proposition engine, advance breakpoint management, watches, project oriented management, lists functions, variables ...

Latest sites from Programmin­g