Angelos Charalambidis (@acharal)
github

acharal

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    74
  • Global Rank 256,983 (Top 9 %)
  • Followers 20
  • Following 19
  • Registered over 12 years ago
  • Most used languages
    Haskell
         50.0 %
    C
         16.7 %
    Prolog
         16.7 %
    C#
         16.7 %

Top repositories

1

hopes

Higher Order Prolog with Extensional Semantics
Haskell
47
star
2

wam

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

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.
Prolog
4
star
4

spsync

An implementation of Sync Adapters for synchronizing SharePoint with a relational database based on Sync Framework
C#
3
star
5

parsec-prolog

A set of parsec combinators that parses ISO-Prolog programs
Haskell
2
star
6

mhtransf-lar

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