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.

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

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

Axiomatic ARE-Logic with Plexity Logical Ecosystem Science Framework

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

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

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

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

How to Become a Mathematician

Building the Integrity Web

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

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.

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.

generates a truth table from a boolean expression

Artifacts for verification, reproducibility, and benchmarking of constructive proofs