jpraher/teyjus

Stars
2
Language
C
License
GNU General Publi...
Created almost 12 years ago
Updated almost 12 years ago

jpraher/teyjus

jpraher

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

An efficient implementation of the higher-order logic programming language Lambda Prolog (clone of http://code.google.com/p/teyjus/)

ipython-ocaml-kernel

Ocaml binding for ipython-xlang-kernel

openshift-prestashop-example

symbolicrewrite

a playground for symbolic computation, mostly in javascript

mimeparse

Erlang mimeparse

jquery-ui-widgets

Custom jquery ui widgets

openshift-typo3-template

template for using typo3 on openshift