Search
“lisp”
More pages from the web
66–70 of 71-
hol.sourceforge.net
HOL4 Kananaskis
HOL4 Kananaskis 5 Easier to use: easy installation, bugs fixed! Cool examples: ARM6, ?-calculus, ACL2, Verified Lisp New libraries: SMT tool integration, fixed-width integers (words) New documentation: Extended Description, DPLL example, ... | Release n
-
orbit-resource.sourceforge.net
ORBit
ORBit2 is a CORBA 2.4-compliant Object Request Broker (ORB) featuring mature C and Perl bindings. Bindings (in various degrees of completeness) are also available for C++, Lisp, Pascal, Python, Ruby, and TCL; others are in-progress. It supports POA, DII,
-
jemacs.net
JEmacs - the Java/Scheme-based Emacs
LiveCams Kostenlos testen Sofort-Zugang Account anlegen Coins kaufen JEmacs - the Java/Scheme-based Emacs Text Editor Hosted by JEmacs is a re-implementation of Emacs, written in a mix of Java, Scheme, and Emacs Lisp (ELisp). JEmacs uses Kawa to compile
-
kantrowitz.com
MK Consulting, Inc
MK Consulting, Inc. provides consulting services for web page design, student financial aid, Artificial Intelligence, Common Lisp, PERL, mathematics, and other technical fields
-
patdrummond.net
Pat Drummond's Home Page
Pat Drummond's Home Page Australian Folk / Country Singer Songwriter Pat Drummond Shoestring Productions Pty Ltd P.O. Box 7013, Leura N.S.W. 2780 AUSTRALIA Phone: 02 4788 1157 email: patdrum@lisp.com.au This Folk Music Ring site is owned by Pat Drummon