axioms

There are 0 repository under axioms topic.

• sreahw / schuller-geometric

  Source code for lecture notes

  logicnotestruthaxiomssetsclassificationtopologyhomotopymanifoldsbundlesliecurvesphysicsgeometryalgebrasdynkin
  Language:TeX 136

• vaibhavkarve / leanteach2020

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

  leangeometryaxiomsmathmathematics
  Language:Lean 23

• webis-de / ir_axioms

  ↕️ Intuitive axiomatic retrieval experimentation.

  information-retrievalaxiomsexperimentationre-rankingpyterrierterrierpyserinianserini
  Language:Python 22

• TheEngineRoom-UniGe / OWLOOP

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

  owlowl-apioopoop-libraryjavareasoningowl-ontologiesaxiomsowloop-api
  Language:Java 11

• abhishektiwari / axioms-express-js

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

  axiomsexpress-jsauthenticationauthorizationapiapi-securityopenid-connectopenidoauth2access-token
  Language:JavaScript 1

• armixz / AI-Knowledge-Representation

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

  artificial-intelligenceknowledge-baseprolog-programming-languagefirst-order-logicaxioms
  Language:Prolog 1
• axioms-web-js

  abhishektiwari / axioms-web-js

  Axioms Javascript client for web applications including Single Page Applications such as Vue, Angular, and React

  axiomsoauth2openidconnectiamaccess-controlidentityjavascript-clientvuereactangular
  Language:JavaScript 0

• axioms-io / sample-node-express

  Express APIs sample using Axioms. Secure your Express APIs using Axioms Authentication and Authorization.

  axiomsauthenticationauthorizationapiapi-securityopenid-connectoauth2access-tokenrole-based-access-control
  Language:JavaScript 0

• axioms-io / sample-node-sails

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

  axiomsauthenticationauthorizationapiapi-securityopenid-connectoauth2access-tokenjwtjwt-authenticationjwt-authorization
  Language:JavaScript 0

• axiomtutor / mathreason

  How to Become a Mathematician

  axiomslogicmathematicsproofreason
  Language:Jupyter Notebook 0

• aaolcay / Generative-Music

  I am sharing some fundamental codes relavent to Generative Music.

  axiomsgenerative-aigenerative-musicl-systemsmidimusic21rule-based-systems
  Language:Jupyter Notebook

• azad-ali786 / Gameopedia

  A game news app

  reactreduxredux-thunkcss3html5javascriptaxiomsstyled-componentsframer-motion
  Language:JavaScript

• BoyapatiShreeHarsha / Music-Player

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

  axiomsbootstrapreactjsreduxrestapi
  Language:JavaScript

• brijeshvadalia / Resusable-card-using-React-useEffect

  This project is basic of REACTJS and a great start project for React Hooks.

  axiomscss3html5javascriptreactjsuseeffect-hook
  Language:JavaScript

• buoncubi / owloop

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

  axiomsjavaoopoop-libraryowlowl-apiowl-ontologyreasoning
  Language:Java

• candh / truth-table-generator

  generates a truth table from a boolean expression

  axiomslogicprepositionstruthtruth-tablesproofs
  Language:Python