Beast code in Giters

Angelos Charalambidis's repositories

hopes

Higher Order Prolog with Extensional Semantics

Language:HaskellGPL-2.050 9 2

wam

A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.

Language:HaskellGPL-2.018 30

yadlr

Yadlr is a fuzzy reasoner, using CLP(Q,R) to implement fuzzy algebra on top of three reasoning back-ends: resolution, tableaux, and direct set-theoretic semantics.

Language:PrologGPL-2.0400

spsync

An implementation of Sync Adapters for synchronizing SharePoint with a relational database based on Sync Framework

Language:C#LGPL-3.0300

parsec-prolog

A set of parsec combinators that parses ISO-Prolog programs

Language:HaskellLGPL-3.02 30

mhtransf-lar

Experimental Compiler for Lazy Functional Language based on Intensional Transformation and Lazy Activation Records

Language:C1 20

Autolab

Course management service that enables auto-graded programming assignments.

Language:RubyApache-2.0000

cromwell

Scientific workflow engine designed for simplicity & scalability. Trivially transition between one off use cases to massive scale production environments

Language:ScalaBSD-3-Clause020

DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not write incremental algorithms; instead they specify the desired input-output mapping in a declarative manner.

Language:JavaMIT000