Pinned Repositories
Algorithms
Java library of algorithms for programming competitions
CertWare
certware-l-editor
Xtext editor for L language
elps
ELPS: epistemic logic programs with sorts
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.
LtoASPtranslator
This is a translator from the language L to Answer Set Prolog (ASP)
plog2.0
A grounder and solver for P-log (A language combining non-monotonic logic with probabilities)
segm
Implementation of markered watershed image segmentation
sparc
Sorted A-Prolog with Consistency Restoring rules.
iensen's Repositories
iensen/sparc
Sorted A-Prolog with Consistency Restoring rules.
iensen/LtoASPtranslator
This is a translator from the language L to Answer Set Prolog (ASP)
iensen/segm
Implementation of markered watershed image segmentation
iensen/certware-l-editor
Xtext editor for L language
iensen/elps
ELPS: epistemic logic programs with sorts
iensen/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.
iensen/LEDParser
This is a parser for LED (https://github.com/qianji/LEDParser) that takes a LED program and returns an abstract syntax tree.
iensen/Math
This repository stores interesting mathematical facts, theorems and proofs (mostly discovered by myself)
iensen/plog2.0
A grounder and solver for P-log (A language combining non-monotonic logic with probabilities)
iensen/Algorithms
Java library of algorithms for programming competitions
iensen/CertWare
iensen/ccls
C/C++/ObjC language server supporting cross references, hierarchies, completion and semantic highlighting
iensen/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)
iensen/Declarative-Programming
iensen/emacs-config
My configuration for emacs editor
iensen/Factorization
Simple Android App implementing Number Factorization on Android. Includes tests created using Robotium.
iensen/LittleInferenceBook
A book for the coursera statistical inference class
iensen/olymp.krsu.edu.kg
Checkers, Problem Statements and other resources for olymp.krsu.edu.kg
iensen/regmodsbook
A companion book for the Coursera Regression Models class
iensen/sparc_aspide
SPARC plugin for ASPIDE