Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

Projects in Awesome Lists by arademaker

A curated list of projects in awesome lists by arademaker .

https://github.com/arademaker/slattes

Semantic Lattes

Last synced: 15 Feb 2026

https://github.com/arademaker/hemera

Yet another simple theorem prover

Last synced: 09 Apr 2025

https://github.com/arademaker/ir-2011

Curso de Introdução ao R - 2011

Last synced: 09 Apr 2025

https://github.com/arademaker/qualis

Datasets about CAPES Qualis (Rank of Academic Journals)

Last synced: 06 Apr 2026

https://github.com/arademaker/salc

A Sequent Calculus for ALC (Description Logic)

Last synced: 26 Jan 2026

https://github.com/arademaker/lattes-to-bibtex

A web interface for convert Lattes files to BibTeX

Last synced: 16 Mar 2026

https://github.com/arademaker/arademaker.github.com

homepage and blog

Last synced: 29 Dec 2025

https://github.com/arademaker/delphin

The Lean port of PyDelphin, a library to integrate DELPH-IN toolsets

Last synced: 27 Dec 2025

https://github.com/arademaker/fad

Functional Algorithms Design

Last synced: 05 Aug 2025

https://github.com/arademaker/alc-lean

Formalization of ALC Logic in LEAN Prover

Last synced: 12 Mar 2025

https://github.com/arademaker/vizagrams

A visualization library for Lean

lean4 visualization

Last synced: 04 Mar 2026

https://github.com/arademaker/krr

Knowledge Representation and Reasoning

Last synced: 14 Feb 2026

https://github.com/arademaker/cs-fp

Course on Computational Semantics

Last synced: 05 Apr 2025

https://github.com/arademaker/ed-2017-2

Curso ED Mestrado FGV/EMAp

Last synced: 13 May 2025

https://github.com/arademaker/paip

Code of PAIP book with adaptations

Last synced: 14 Feb 2026

https://github.com/arademaker/puzzles

puzzles from TPTP

Last synced: 18 Mar 2026

https://github.com/arademaker/doc

general documentation. mostly to host the wiki and attached files

Last synced: 17 Mar 2026

https://github.com/arademaker/sda-2013

article submitted for SDA-2013 (temporary repo)

Last synced: 16 Mar 2026

https://github.com/arademaker/vivo-2014-oai

Using OAI-PMH protocol for Data Ingest into VIVO Instances

Last synced: 25 Apr 2026

https://github.com/arademaker/ceur-make

A set of scripts to semi-automatically generate workshop proceedings for CEUR-WS.org

Last synced: 10 Jan 2026

https://github.com/arademaker/oai-client

CL OAI-Client and XSL Transformations

Last synced: 06 Apr 2026

https://github.com/arademaker/ed-2018.t2

ED Course FGV/EMAp

Last synced: 06 Apr 2026

https://github.com/arademaker/krr-2017.1

Knowledge Representation and Reasoning Class 2017.1

course knowledge-representation logic

Last synced: 10 Sep 2025

https://github.com/arademaker/tdd-bdd-final-project

Final project for the IBM Introduction to TDD/BDD course on Coursera.org

Last synced: 27 May 2026

https://github.com/arademaker/cbabel

A Rewriting Semantics for the CBABEL Architecture Description Language

Last synced: 27 Jul 2025

https://github.com/arademaker/sick

Last synced: 27 Apr 2026

https://github.com/arademaker/vivo-2014-apps

VIVO Apps&Tools workshop presentation

Last synced: 28 Apr 2026

https://github.com/arademaker/ci-cd-final-project

final project of the CI/CD Coursera Course

Last synced: 20 Apr 2026

https://github.com/arademaker/treebank

This is a clone from the official SVN repository of the http://moin.delph-in.net/FftbTop

delph-in treebank

Last synced: 27 May 2026

https://github.com/arademaker/emap-techreport

LaTeX files for EMAP techreport

Last synced: 14 Mar 2026