#
axioms
Here are 11 public repositories matching this topic...
Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
-
Updated
Jan 17, 2022 - Lean
An Object Oriented Programming (OOP) interface for Ontology Web language (OWL) ontologies.
-
Updated
Dec 31, 2021 - Java
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
Mar 26, 2022 - JavaScript
generates a truth table from a boolean expression
-
Updated
Apr 9, 2018 - Python
A game news app
-
Updated
May 2, 2021 - 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
Feb 13, 2022 - JavaScript
Knowledge Representation paradigm to create a simple question-answering tool.
-
Updated
Jan 19, 2022 - Prolog
Express APIs sample using Axioms. Secure your Express APIs using Axioms Authentication and Authorization.
api
oauth2
authentication
authorization
role-based-access-control
openid-connect
access-token
api-security
axioms
-
Updated
Mar 26, 2022 - JavaScript
Axioms Javascript client for web applications including Single Page Applications such as Vue, Angular, and React
-
Updated
Feb 12, 2022 - JavaScript
Improve this page
Add a description, image, and links to the axioms topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the axioms topic, visit your repo's landing page and select "manage topics."
The STMC1, STMC2, and REG axioms depend on similarities. It might be promising to have similarity variants that are based on word embeddings fine-tuned on test collections like Robust 04.
It is only required to have some word embeddings that PyMagnitude can handle, the rest is already implemented.
To implement new embedding variants, take a look at the fastText implementation here:
https://gi