iensen Goto Github PK

algorithms

Java library of algorithms for programming competitions

ccls

C/C++/ObjC language server supporting cross references, hierarchies, completion and semantic highlighting

certware

certware-l-editor

Xtext editor for L language

clingo

A grounder and solver for logic programs. (This fork is a version which compiles under C++ compiler without the need to generate bison/flex files, see https://github.com/iensen/plog2.0/blob/master/CMakeLists.txt for an example make file)

declarative-programming

elps

ELPS: epistemic logic programs with sorts

emacs-config

My configuration for emacs editor

factorization

Simple Android App implementing Number Factorization on Android. Includes tests created using Robotium.

genparser

The project is an implementation of a generic parser that takes a lexicon file, a grammar file and an input file and produces a concise abstract syntax tree. The desired structure of the tree is defined by the grammar file.

ledparser

This is a parser for LED (https://github.com/qianji/LEDParser) that takes a LED program and returns an abstract syntax tree.

littleinferencebook

A book for the coursera statistical inference class

ltoasptranslator

This is a translator from the language L to Answer Set Prolog (ASP)

math

This repository stores interesting mathematical facts, theorems and proofs (mostly discovered by myself)

olymp.krsu.edu.kg

Checkers, Problem Statements and other resources for olymp.krsu.edu.kg

plog2.0

A grounder and solver for P-log (A language combining non-monotonic logic with probabilities)

regmodsbook

A companion book for the Coursera Regression Models class

segm

Implementation of markered watershed image segmentation

sparc

Sorted A-Prolog with Consistency Restoring rules.

sparc_aspide

SPARC plugin for ASPIDE