-
tabulas Public
System to manage human-readable tables using files
-
-
market Public
Multi-agent prototype of a market modeled in Soda that uses formal verification.
-
soda Public
Object-oriented functional language to describe, analyze, and model human-centered problems
-
-
jcel Public
Reasoner for the description logic EL+.
-
site-www Public
Forked from dart-lang/site-wwwSource for Dart website
Dart Other UpdatedJun 3, 2024 -
uel Public
Tool for finding unifiers in the description logic EL
-
born Public
Bayesian Ontology Reasoner
-
jproblog Public
Java adapter for ProbLog
-
-
desktop-search Public
Forked from cxplonka/desktop-searchPowerful, hierachical based desktop search engine based on swing and lucene.
-
-
-
-
wikihtml Public
Application in Java that converts wikitext documents into HTML documents.
-
-
tabula Public
System to manage human-readable tables using files
-
ontocomplib Public
Ontology Completion Library
-
ontocomp Public
Protégé plugin for completing OWL ontologies
-
jsexp Public
Parser in Java for Lisp S-expressions.
-
gel Public
Generalization algorithms for the description logics EL and extensions.
-
-
cel Public
A lightweight Description Logic reasoner for large-scale biomedical ontologies
-
Agda is a dependently typed programming language / interactive theorem prover.
Haskell Other UpdatedApr 10, 2023 -
-
-
Computer-Vision Public
Forked from aghoshpro/Computer-VisionContains my code about computer vision
Python MIT License UpdatedOct 21, 2022 -
wasp_SE_course Public
Forked from robertfeldt/wasp_SE_courseResources and student assignments for the WASP Software Engineering course
TeX UpdatedOct 1, 2022 -
broad-coq-tutorial Public
Forked from codyroux/broad-coq-tutorialSome unstructured notes concerning the Broad tutorial to take place in March 2020
Coq UpdatedSep 17, 2021