EulerSharp Files

Euler Yet another proof Engine

Brought to you by: josd

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
eulersharp	2020-10-27		3
Totals: 1 Item			3

nel_h2

Secure User Management, Made Simple | Frontegg

Get 7,500 MAUs, 50 tenants, and 5 SSOs free – integrated into your app with just a few lines of code.

Frontegg powers modern businesses with a user management platform that’s fast to deploy and built to scale. Embed SSO, multi-tenancy, and a customer-facing admin portal using robust SDKs and APIs – no complex setup required. Designed for the Product-Led Growth era, it simplifies setup, secures your users, and frees your team to innovate. From startups to enterprises, Frontegg delivers enterprise-grade tools at zero cost to start. Kick off today.

Start for Free

Gen AI apps are built with MongoDB Atlas

The database for AI-powered applications.

MongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.

Start Free

Recommended Projects

dotNetRDF
dotNetRDF is a .Net Class Library for working with RDF and SPARQL programatically built with C# 3 for the .Net Framework 3.5/4.0/Silverlight 4 and WIndows Phone 7. It provides a simple object model for representing RDF, SPARQL Queries and Updates and understands all common RDF and SPARQL syntaxes. Extensive documentation is available on the website and support is available via the mailing lists.
dotSesame
The dotSesame project is a C# port of the Sesame project, which is originally written in Java. It is an open source RDF database with support for RDF Schema inferencing and querying. Full documentation of Sesame can be found at http://www.openrdf.org/
EulerGUI
A lightweight IDE for Artificial Intelligence. Started as GUI for the Euler reasoning engine. The sources can be N3, RDF, OWL, UML, eCore, plain XML or XSD, files or URL's. Wraps Drools (or CWM, FuXi) as N3 rules engines. Model based app. generation.
A Machine Learning Course with Python
A course about machine learning with Python

EulerSharp Files

Euler Yet another proof Engine

Get an email when there's a new version of EulerSharp