Name: Julian Alfredo Mendez
Type: User
agda
Agda is a dependently typed programming language / interactive theorem prover.
born
Bayesian Ontology Reasoner
broad-coq-tutorial
Some unstructured notes concerning the Broad tutorial to take place in March 2020
cel
A lightweight Description Logic reasoner for large-scale biomedical ontologies
computer-vision
Contains my code about computer vision
desktop-search
Powerful, hierachical based desktop search engine based on swing and lucene.
docs.scala-lang
The Scala Documentation website
dotty
The Scala 3 compiler, also known as Dotty.
fcaapi-old
FCAAPI (superseded)
fcalib
FCA library
fcalib-old
FCA library (superseded)
gel
Generalization algorithms for the description logics EL and extensions.
genericantfile
Generic Ant file to compile modules with Ivy, using details from Maven POM files
jcel
Reasoner for the description logic EL+.
jep
jproblog
Java adapter for ProbLog
jsexp
Parser in Java for Lisp S-expressions.
julianmendez
Config files for my GitHub profile.
julianmendez.github.io
lat-parent
LAT parent project
market
ontocomp
Protégé plugin for completing OWL ontologies
ontocomplib
Ontology Completion Library
ore-2014-competition-framework
ORE 2014 Competition Framework
owlwg-test
Software related to management and processing of OWL WG test cases
play-java-starter-example
Play starter project in Java (ideal for new users!)
play-scala-starter-example
Play Scala Starter Template (ideal for new users!)
soda
Object-oriented functional language to describe, analyze, and model human-centered problems
tabula
System to manage human-readable tables using files
tabulas
System to manage human-readable tables using files
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
