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.

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

Building the Integrity Web

How to Become a Mathematician

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.

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

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

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

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

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

I am sharing some fundamental codes relavent to Generative Music.

generates a truth table from a boolean expression

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

Axioms Javascript client for web applications including Single Page Applications such as Vue, Angular, and React