Git Product home page Git Product logo

Abdul Rahim Nizamani's Projects

aiw icon aiw

Alice In Wonderland: a program that learns arbitrary symbolic domains from random examples. Presented in the Artificial General Intelligence conference, July 2015, in Berlin.

aiw2 icon aiw2

Alice In Wonderland, version 2: Automated mathematical reasoning and knowledge discovery

arabicscript icon arabicscript

arabicscript is a Python library of tools for Arabic script as defined in the Unicode standard

dlvalidity icon dlvalidity

DLvalidity is an automatic theorem prover for description logic.

folp icon folp

Automatic proofs for model-based truth in first-order logic

gslctagger icon gslctagger

GslcTagger for parts of speech tagging of the spoken Swedish corpus called GSLC

madinah_mushaf icon madinah_mushaf

Python code to convert Madinah Mushaf edition of Quran to Unicode-compliant text

occamstar icon occamstar

OccamStar is an AI program for deductive and inductive reasoning written in Haskell.

quraysh icon quraysh

Quraysh is a Python program that uses Linear Programming to verify genealogical connections and estimate birth dates for ancient ancestors.

seqsolver icon seqsolver

SeqSolver is a rule-based computer program that can solve numer sequence problems that are found in standard IQ tests. It outscored average human performance in three IQ tests (subsections containing number series problems), including PA, PJP and IST.

sv-oriental icon sv-oriental

Swedish keyboard with additional letters for romanization of languages with Arabic script

swedish-arn icon swedish-arn

Swedish keyboard for Windows - with Arabic romanization based on ALA-LC scheme

ubook icon ubook

A book class in Latex for typesetting Urdu books

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.