Julian Alfredo Mendez's Projects
Agda is a dependently typed programming language / interactive theorem prover.
Bayesian Ontology Reasoner
Some unstructured notes concerning the Broad tutorial to take place in March 2020
A lightweight Description Logic reasoner for large-scale biomedical ontologies
Contains my code about computer vision
Powerful, hierachical based desktop search engine based on swing and lucene.
The Scala Documentation website
The Scala 3 compiler, also known as Dotty.
FCAAPI (superseded)
FCA library
FCA library (superseded)
Generalization algorithms for the description logics EL and extensions.
Generic Ant file to compile modules with Ivy, using details from Maven POM files
Reasoner for the description logic EL+.
Java adapter for ProbLog
Parser in Java for Lisp S-expressions.
Config files for my GitHub profile.
LAT parent project
Multi-agent prototype of a market modeled in Soda that uses formal verification.
ProtΓ©gΓ© plugin for completing OWL ontologies
Ontology Completion Library
ORE 2014 Competition Framework
Software related to management and processing of OWL WG test cases
Play starter project in Java (ideal for new users!)
Play Scala Starter Template (ideal for new users!)
Source for Dart website
Object-oriented functional language to describe, analyze, and model human-centered problems
System to manage human-readable tables using files