Source code for lecture notes

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

↕️ Intuitive axiomatic retrieval experimentation.

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

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

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

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.

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

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

I am sharing some fundamental codes relavent to Generative Music.

generates a truth table from a boolean expression

Universal-Axioms-for-Intelligence