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.

How to Become a Mathematician

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

Artifacts for verification, reproducibility, and benchmarking of constructive proofs

Building the Integrity Web

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

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

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

Void Dynamics Model (VDM): a physics‑first, axiomatized framework unifying discrete‑to‑continuum dynamics with zero‑shot learning & reasoning for real‑time agency. Lineage: AMN → FUM → VDM.

I am sharing some fundamental codes relavent to Generative Music.

generates a truth table from a boolean expression

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

A game news app

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