Source code for lecture notes

↕️ Intuitive axiomatic retrieval experimentation.

Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project

An Object Oriented Programming (OOP) interface for Ontology Web language (OWL) ontologies.

An AI-powered web app to that uses pre-trained deep learning models, in order to improve passengers safety and railway operations.

Knowledge Representation paradigm to create a simple question-answering tool.

An Object Oriented Programming (OOP) interface for Ontology Web language (OWL) ontologies.

Building the Integrity Web

How to Become a Mathematician

Axioms Javascript client for Express. Secure your Express APIs using Axioms authentication and authorization.

Minimal relational axioms for a bounded, irreversible temporal substrate—no classical primitives.

A React.js application that demonstrates CRUD (Create, Read, Update, Delete) functionality using Axios for API communication.

generates a truth table from a boolean expression

I created a react app using rest api for better understanding of css and api calls using axioms and redux

Artifacts for verification, reproducibility, and benchmarking of constructive proofs

I am sharing some fundamental codes relavent to Generative Music.

A game news app

Sails APIs sample using Axioms. Secure your Sails APIs using Axioms authentication and authorization.

a lightweight browser extension designed to provide real-time carbon intensity data for electricity consumption in different regions.

Universal-Axioms-for-Intelligence