Pinned Repositories
born
Bayesian Ontology Reasoner
cel
A lightweight Description Logic reasoner for large-scale biomedical ontologies
fcalib
FCA library
jcel
Reasoner for the description logic EL+.
jproblog
Java adapter for ProbLog
jsexp
Parser in Java for Lisp S-expressions.
market
Multi-agent prototype of a market modeled in Soda that uses formal verification.
ontocomp
Protégé plugin for completing OWL ontologies
soda
Object-oriented functional language to describe, analyze, and model human-centered problems
tiles
Framework to create formal configurations of constraints.
julianmendez's Repositories
julianmendez/cel
A lightweight Description Logic reasoner for large-scale biomedical ontologies
julianmendez/fcalib
FCA library
julianmendez/jcel
Reasoner for the description logic EL+.
julianmendez/born
Bayesian Ontology Reasoner
julianmendez/jsexp
Parser in Java for Lisp S-expressions.
julianmendez/ontocomp
Protégé plugin for completing OWL ontologies
julianmendez/jproblog
Java adapter for ProbLog
julianmendez/wikihtml
Application in Java that converts wikitext documents into HTML documents.
julianmendez/tabulas
System to manage human-readable tables using files
julianmendez/uel
Tool for finding unifiers in the description logic EL
julianmendez/gel
Generalization algorithms for the description logics EL and extensions.
julianmendez/market
Multi-agent prototype of a market modeled in Soda that uses formal verification.
julianmendez/ontocomplib
Ontology Completion Library
julianmendez/soda
Object-oriented functional language to describe, analyze, and model human-centered problems
julianmendez/tabula
System to manage human-readable tables using files
julianmendez/wikihypergraph
julianmendez/tiles
Framework to create formal configurations of constraints.
julianmendez/agda
Agda is a dependently typed programming language / interactive theorem prover.
julianmendez/broad-coq-tutorial
Some unstructured notes concerning the Broad tutorial to take place in March 2020
julianmendez/Computer-Vision
Contains my code about computer vision
julianmendez/desktop-search
Powerful, hierachical based desktop search engine based on swing and lucene.
julianmendez/fcaapi-old
FCAAPI (superseded)
julianmendez/fcalib-old
FCA library (superseded)
julianmendez/julianmendez
Config files for my GitHub profile.
julianmendez/julianmendez.github.io
julianmendez/lat-parent
LAT parent project
julianmendez/site-www
Source for Dart website
julianmendez/translator
julianmendez/util
Utility classes
julianmendez/wasp_SE_course
Resources and student assignments for the WASP Software Engineering course