carmenchui

Aidoku

Free and open source manga reader for iOS and iPadOS

Pixelify

Magisk module to enables pixel exclusive features and ui

Coursera

Quiz & Assignment of Coursera

prover9-mace4-gui

EmojiLibrary

Global headers, functions and resources used by PoomSmart's Emoji tweaks.

ontology-toolkit

Tools to update and export ontology RDF.

gist

Semantic Arts gist upper enterprise ontology

maloja

Self-hosted music scrobble database to create personal listening statistics and charts

resume

Mirror of https://git.chmd.fr/?p=resume.git

wordle_archive

facebook-delete

Fast facebook activity deletion

XKit-Rewritten

🧰 The enhancement suite for Tumblr's new web interface

jekyll-cv

Lightweight jekyll theme for your CV with dark mode support

Rekado

Payload launcher and serial number checker for Nintendo Switch

eubg-data

euBusinessGraph Company Data Model

Wordnet-Query-Expansion

owlet

A little OWL in SPARQL.

PAROT

Natural Language to SPARQL tool

irc_to_default_logic

STEALTH law parsing

freya

FREyA is a Natural Language Interface for Querying Ontologies

UDepLambda

A framework to convert Universal Dependencies to Logical Forms

arachne

RDF rule engine

Pi-Hole-on-Google-Compute-Engine-Free-Tier-with-Full-Tunnel-and-Split-Tunnel-Wireguard-VPN-Configs

Run your own privacy-first ad blocking service at home, or in the cloud for free with Google Cloud Services.

verbalizer

Project for the Verbalization of Derivations in Description Logics

elk-reasoner

A Java-based OWL 2 EL reasoner

lean3

Lean Theorem Prover

BackgroundMusic

Background Music, a macOS audio utility: automatically pause your music, set individual apps' volumes and record system audio.

pellet

Pellet is an OWL 2 reasoner in Java; open source (AGPL) and commercially licensed, commercial support available.

rpatool

A tool to work with Ren'Py archives.

cv

A LaTeX template for academic CVs