PSLC Language for Human to AI video/audio generation

A Swift package that uses the Public Suffix List to parse domain names.

Shortening app using CleanURI API

I have created a database Management System for PSL using Sql which will display all the statistics of PSL Season 6

A collection of formal properties for hardware buses, and cores using them.

reduce-historical: historical snapshots of the portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/code/historical/. Please visit the REDUCE Homepage, https://reduce-algebra.sourceforge.io/, for additional details.

A finite state machine implementation of an ABS system written in VHDL with PSL statements.

Public Suffix List for mruby. The purpose of this project is mruby port of publicsuffix-ruby.

Probabilistic Online Knowledge Graph Construction from Natural Language

A machine learning project that predicts the winner of Pakistan Super League (PSL) matches using historical data. It includes data preprocessing, exploratory analysis, and model training using Random Forest , achieving high accuracy in predicting match outcomes.

A Formal Verification Methodology to lower the adoption barriers for Formal Verification of ASIC and FPGA designs in the Space sector (this is a mirror of https://gitlab.com/fvmformal/fvm : you can open issues there)

High performance Swift library for working with public suffix list

Solving Image Riddles

A macOS Homebrew tap for REDUCE, the portable general-purpose computer algebra system.

Watch IPL 2025 for free

record all the powershell commands that I'll use

Looksmaxxing Free Guide

Cours d'informatiques à l'université

Formal verification of an ALU

A Discord music bot powered by slash commands and YouTube search, themed after a big black Persian cat.