AI-powered service management for IT and enterprise teams
Enterprise-grade ITSM, for every business
Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
Try it Free
Our Free Plans just got better! | Auth0
With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
PyGiNaC is a Python interface to the C++ symbolic math library GiNaC (www.ginac.de). Its design attempts to be an easy to use and convenient alternative to cint or ginsh.
A simple tool for visualizing finite sets as cardboard boxes.
Boxes nest and contain numbers/balls to give a basic intuition for students first learning about sets.
3D visualization done via OpenGL.
The K.U.Leuven JCHR System is an integration of Constraint Handling Rules (CHR) and Java designed with three aims in mind: user-friendliness, flexibility and efficiency.
http://www.cs.kuleuven.be/~petervw/JCHR/
Prenzl!! is a desktop application and a screen saver running artistic cellular automata. The application is based on an Eclipse architecture and the rules can be in native. Our mission is to provide a viewer and an SDK for this kind of art, called CArt.
XMLMath evaluates mathematical, logical or textual expressions described in xml and prints the result. For example, to compute the result of 1 + 1, you would write: <add> <long value="1"/> <long value="1"/> </add>
Console based application which should compile on any system supporting c++. Includes calculations like blood alcohol content, 1/4 mile run, liter conversion, etc.
Project Graph contains the sources and releases of MIDlet Graph, which calculates mathematic expressions and draws function graphics on the screen of J2ME mobile device.
Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.
Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
A tool for proof theorists to study deduction systems and to develop proof search strategies for them. GraPE should eventually support step-by-step proof construction, automatic proof search with various strategies, proof transformations and analysis.
WITM, is an acronym for Web Interface To Mathematica. WITM allows a workstation running Mathematica and a web server to be accessed from any browser. Care was taken to ensure WITM works well with handheld devices such as PDAs.
C++ and Python based open source graph visualization and analysis software, primarily intended for use in the analysis of social networks (other applications are also conceivable).
jGABL (the Java Graph Algorithm Base Library) is a java library for the implementation of graph algorithms. It covers a hierarchy of graph concepts, various graph implementations, and algorithm animation.
ballotbox is a java library consist of 36 algorithms derived from 23 Social Choice Rules (Voting Methods). Uses jgrapht graph theory project and it is own Preference class to represent preferences. Includes preference similarity algorithms.
This if calculator for complex numbers. It works with algebraic and trigonometrical form and has multiple memory slots. There are many mathematical functions like sin, cos and etc.
A modular system for exact geometric construction; one can define and re-use parametrized constructions and own curves given by their parametrized point-by-point construction method.
FofZ is a Java based application which allows functions on the complex plane to be visualised in both 2D and 3D. It supports various edittable domains, animation and can produce 3D output using either it's own engine or JOGL.