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.

Void Dynamics Model (VDM): A two branch framework unifying a real-time cognitive substrate runtime with a rigorous metriplectic-dynamics QGT lattice framework for physics. Lineage: AMN -> FUM -> VDM

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

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

A formal, axiomatic treatment of libertarian property theory for Leo-III

Building the Integrity Web

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

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

How to Become a Mathematician

URF Axioms — formal axiomatization of the Unified Rigidity Framework, defining primitives, admissibility conditions, and base invariants.

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

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

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

generates a truth table from a boolean expression

I am sharing some fundamental codes relavent to Generative Music.

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