Source code for lecture notes

topology curves notes geometry physics logic classification algebras bundles homotopy truth lie sets manifolds axioms dynkin

• Updated Jul 26, 2024
• TeX

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

math geometry mathematics lean axioms

• Updated Jan 17, 2022
• Lean

↕️ Intuitive axiomatic retrieval experimentation.

information-retrieval re-ranking experimentation terrier axioms pyterrier pyserini anserini

• Updated Nov 1, 2026
• Python

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

java oop owl oop-library reasoning owl-api axioms owl-ontologies owloop-api

• Updated Dec 31, 2021
• Java

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

amd clean-architecture reaction-diffusion rocm axioms real-time-intelligence void-dynamics-model metriplectic klein-gordon agency-field

• Updated May 12, 2026
• HTML

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

css html django deep-learning js colab coco allauth axioms joblib yolov8

• Updated Sep 10, 2024
• HTML

How to Become a Mathematician

proof logic mathematics reason axioms

• Updated Oct 31, 2026
• JavaScript

Axiomatic ARE-Logic with Plexity Logical Ecosystem Science Framework

science logic mmorpg worlds osf formulate-rations emergent-behavior patent-data science-research ai-agents licensed kappa-architecture axioms open-science-networks physics-informed-neural-networks mathematical-proof technological-advancements deterministic-ai

• Updated Nov 12, 2026
• TypeScript

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

quantum-mechanics cosmology theoretical-physics axioms wave-collapse emergent-spacetime no-zero-mathematics temporal-substrate axioms-bounded-mathematics irreversible-time alternative-physics quantum-gravity-alternatives foundational-mathematics persistence-topology

• Updated Mar 2, 2026
• HTML

Mizar and MizAR resources, formal mathematics and library learning paths.

open-source education logic theorem-proving first-order-logic mathematics proof-assistant awesome-list formal-methods curated-list formal-verification formal-mathematics axioms mizar hyperpolymath epistemic-infrastructure epistemic-computing veridical-computing equivalence-aware-computing typed-provenance

• Updated Nov 9, 2026

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

first-order-logic artificial-intelligence knowledge-base prolog-programming-language axioms

• Updated Jan 19, 2022
• Prolog

Building the Integrity Web

privacy sdk web tools ai protocol dapp blockchain dev learn integrity agents zk ai-agents axioms onchain mediolano integrity-web

• Updated Feb 17, 2026
• TypeScript

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

law property theorem-proving lean theory tptp formal-verification libertarian axioms thf property-law leo-iii

• Updated Oct 16, 2026
• Gnuplot

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

api oauth2 authentication authorization openid openid-connect express-js access-token api-security axioms

• Updated Jan 24, 2023
• JavaScript

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

java oop owl oop-library reasoning owl-ontology owl-api axioms

• Updated Apr 8, 2024
• Java

I am sharing some fundamental codes relavent to Generative Music.

midi l-systems generative-music music21 axioms generative-ai rule-based-systems

• Updated Dec 18, 2023
• Jupyter Notebook

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

javascript css html5 reactjs crud-operations axioms

• Updated Feb 11, 2026

Measure what a formal library assumes: Rocq, Agda and Isabelle, from source, with nothing built

static-analysis theorem-proving agda isabelle formal-verification axioms rocq

• Updated Aug 29, 2026
• Python

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

redux bootstrap reactjs restapi axioms

• Updated Jun 18, 2023
• JavaScript

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

api jwt oauth2 authentication authorization openid-connect jwt-authentication access-token api-security axioms jwt-authorization

• Updated Nov 23, 2022
• JavaScript