GitHub topics: axioms
webis-de/ir_axioms
↕️ Intuitive axiomatic retrieval experimentation.
Language: Python - Size: 1.44 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 24 - Forks: 1
vaibhavkarve/leanteach2020
Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
Language: Lean - Size: 63.3 MB - Last synced at: 5 months ago - Pushed at: over 3 years ago - Stars: 24 - Forks: 6
AkshataKamerkar/NETRA
An AI-powered web app to that uses pre-trained deep learning models, in order to improve passengers safety and railway operations.
Language: HTML - Size: 17.7 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0
brijeshvadalia/Resusable-card-using-React-useEffect
This project is basic of REACTJS and a great start project for React Hooks.
Language: JavaScript - Size: 559 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
buoncubi/owloop Fork of TheEngineRoom-UniGe/OWLOOP
An Object Oriented Programming (OOP) interface for Ontology Web language (OWL) ontologies.
Language: Java - Size: 53 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 2
aaolcay/Generative-Music
I am sharing some fundamental codes relavent to Generative Music.
Language: Jupyter Notebook - Size: 3.91 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
sreahw/schuller-geometric
Source code for lecture notes
Language: TeX - Size: 505 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 126 - Forks: 44
TheEngineRoom-UniGe/OWLOOP
An Object Oriented Programming (OOP) interface for Ontology Web language (OWL) ontologies.
Language: Java - Size: 53 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 9 - Forks: 10
axiomtutor/mathreason
How to Become a Mathematician
Language: Jupyter Notebook - Size: 5.14 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 1
BoyapatiShreeHarsha/Music-Player
I created a react app using rest api for better understanding of css and api calls using axioms and redux
Language: JavaScript - Size: 8.88 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
armixz/AI-Knowledge-Representation
Knowledge Representation paradigm to create a simple question-answering tool.
Language: Prolog - Size: 116 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 1
abhishektiwari/axioms-web-js
Axioms Javascript client for web applications including Single Page Applications such as Vue, Angular, and React
Language: JavaScript - Size: 1.35 MB - Last synced at: 19 days ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
abhishektiwari/axioms-express-js
Axioms Javascript client for Express. Secure your Express APIs using Axioms authentication and authorization.
Language: JavaScript - Size: 956 KB - Last synced at: 21 days ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
candh/truth-table-generator
generates a truth table from a boolean expression
Language: Python - Size: 1.95 KB - Last synced at: about 2 months ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0
azad-ali786/Gameopedia
A game news app
Language: JavaScript - Size: 429 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
axioms-io/sample-node-sails
Sails APIs sample using Axioms. Secure your Sails APIs using Axioms authentication and authorization.
Language: JavaScript - Size: 1.23 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
axioms-io/sample-node-express
Express APIs sample using Axioms. Secure your Express APIs using Axioms Authentication and Authorization.
Language: JavaScript - Size: 840 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0