Skip to content
View carmenchui's full-sized avatar

Block or report carmenchui

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Free and open source manga reader for iOS and iPadOS

Swift 2,612 136 Updated Nov 10, 2024

Magisk module to enables pixel exclusive features and ui

Shell 1,733 85 Updated May 30, 2024

Quiz & Assignment of Coursera

Jupyter Notebook 871 659 Updated Dec 20, 2020
Python 1 Updated Apr 8, 2022

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

Objective-C 130 10 Updated Mar 3, 2024

Tools to update and export ontology RDF.

Python 34 6 Updated Oct 23, 2024

Semantic Arts gist upper enterprise ontology

Shell 163 18 Updated Oct 23, 2024

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

Python 1,169 67 Updated Jul 15, 2024

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

TeX 127 78 Updated Jul 19, 2014

Fast facebook activity deletion

Go 1,285 47 Updated Jan 1, 2024

🧰 The enhancement suite for Tumblr's new web interface

JavaScript 293 48 Updated Nov 12, 2024

Lightweight jekyll theme for your CV with dark mode support

HTML 186 245 Updated Aug 10, 2024

Payload launcher and serial number checker for Nintendo Switch

Kotlin 1,048 49 Updated Oct 24, 2024

euBusinessGraph Company Data Model

HTML 47 12 Updated Apr 10, 2023

A little OWL in SPARQL.

Scala 12 5 Updated Aug 13, 2024

Natural Language to SPARQL tool

Java 8 4 Updated May 24, 2022

STEALTH law parsing

Python 3 1 Updated May 11, 2017

FREyA is a Natural Language Interface for Querying Ontologies

Perl 31 16 Updated Jan 23, 2018

A framework to convert Universal Dependencies to Logical Forms

Java 87 23 Updated Dec 8, 2020

RDF rule engine

Scala 21 6 Updated Jul 22, 2024

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

769 78 Updated Aug 13, 2024

Project for the Verbalization of Derivations in Description Logics

Java 1 2 Updated Jul 4, 2019

A Java-based OWL 2 EL reasoner

Java 94 25 Updated Jul 11, 2024

Lean Theorem Prover

C++ 2,150 217 Updated Oct 14, 2023

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

C++ 16,252 676 Updated Sep 9, 2024

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

Java 2 1 Updated Apr 2, 2020

A tool to work with Ren'Py archives.

Python 550 120 Updated Aug 23, 2022

A LaTeX template for academic CVs

TeX 248 53 Updated Nov 11, 2024
Next