jstone's Bookmarks About "declarative.language"

Home / people / jstone / links / "declarative.language"

Pedro Ângelo, member since Mar 11, 2006

3009 Visible Links (3074 total), 0 Public Groups, 20+ Top Tags

Blog: http://void.io

Search Everyone: "declarative.language",

Show 50 · 100 · all

1 - 10 of 15 next »

Watch jstone

PyKE - Python Knowledge Engine

Pyke introduces a form of Logic Programming (inspired by Prolog) to the Python community by providing a knowledge-based inference engine (expert system) written in 100% Python. Unlike Prolog, Pyke integrates with Python allowing you to invoke Pyke from Python and intermingle Python statements and expressions within your expert system rules.

by jstone 2008-12-24 00:07 python · programming · logic · computer.science · algorithm · knowledge.representation · expert.systems · data.mining · pattern.matching · artificial.intelligence · declarative.language · domain.specific.languages · free · open.source

http://pyke.sourceforge.net/index.html - cached - mail it - history

jQuery lightBox plugin

lightBox is a plugin for jQuery. jQuery lightBox plugin is simple, elegant, unobtrusive, no need extra markup and you use the power and flexibility of jQuery´s selector.

by jstone 2007-10-15 14:21 javascript · programming · library · declarative.language · web.development · free · open.source

http://leandrovieira.com/projects/jquery/lightbox/ - cached - mail it - history

Protoscript

Protoscript is a simplified scripting language for creating Ajax style prototypes for the Web. With Protoscript it's easy to bring interface elements to life. Simply connect them to behaviors and events to create complex interactions.

by jstone 2007-09-07 17:23 ajax · declarative.language · user.interfaces · web.development · prototyping · javascript · programming · research · free · open.source

http://protoscript.com/ - cached - mail it - history

LC++: Logic Programming in C++

LC++ is a library for logic programming in C++. Using LC++, C++ programmers can write declarative, Prolog-like code in their C++ programs.

by jstone 2007-05-11 19:52 cxx · programming · library · declarative.language · free · open.source

http://www-static.cc.gatech.edu/~yannis/lc++/ - cached - mail it - history

FC++: Functional Programming in C++.

by jstone 2007-05-11 19:50 cxx · programming · library · declarative.language · free · open.source

http://www-static.cc.gatech.edu/~yannis/fc++/ - cached - mail it - history

The Coq proof assistant

Coq is a formal proof management system: a proof done with Coq is mechanically checked by the machine. In particular, Coq allows to define functions or predicates, to state mathematical theorems and software specifications, to develop interactively formal proofs of these theorems,and to check these proofs by a relatively small certification "kernel".

by jstone 2007-04-18 19:25 math · computer.science · theory · research · tools · programming · declarative.language · formal.system · free · open.source · ocaml

http://coq.inria.fr/ - cached - mail it - history

Zero Memory Widget

An implementation of an immediate mode (form-follows-function) GUI library embedded in plain C.

by jstone 2007-04-16 18:04 user.interfaces · programming · library · C · embedded · declarative.language · free · open.source

http://www710.univ-lyon1.fr/~exco/ZMW/ - cached - mail it - history

Q Programming Language

Q is a functional programming language based on term rewriting. Thus, a Q program or "script" is simply a collection of equations which are used to evaluate expressions in a symbolic fashion. The equations establish algebraic identities and are interpreted as rewriting rules in order to reduce expressions to "normal forms.

by jstone 2006-11-03 17:55 computer.science · programming · language · research · declarative.language · free · open.source

http://q-lang.sourceforge.net/about.html - cached - mail it - history

Epigram - Experimenting with Dependent Types

Epigram is a dependently typed programming language and an interactive programming environment. Epigram has got a type system which is strong enough to express the behaviour of programs, the type checker then guarantees that the program is well behaved. However, you don't have to go as far, you can write ordinary programs and refactor them into more trustworthy, formally checked deliverables -- Epigram supports a pay as you go approach to formal methods.

by jstone 2006-10-24 18:40 programming · language · computer.science · research · declarative.language

http://www.e-pig.org/ - cached - mail it - history

Using, Understanding, and Unraveling The OCaml Language From Practice to Theory and vice versa