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.
SimED is a user-friendly Differential Equation simulation software. It can integrate numerically ODEs (Ordinary Differential Equations) using several methods, plot time and phase-space diagrams for variables, and interactively choose initial conditions.
REPCAL (REverse Polish CALculator) is a light and fast calculator in RPN (reverse polish notation) mode for the console (command line). It is written in 180 lines of Python code, and can be used both interactively or inside shell scripts.
The Wolfram Machine project is an effort to create a set of documentation and useful modules (both hardware and software) for a computing architecture based on the mathematical theories presented in Steven Wolfram's book _A_New_Kind_of_Science_.
The main goal of this project is to create a system-independent MathML rendering engine in Python. This engine works with an abstract 'plotter' driver class, that can be subclassed for any rendering device needed.
The General Intensional Programming System (GIPSY) consists in three modular sub-systems: The General Intensional Programming Language Compiler (GIPC) ; the General Eduction Engine (GEE), and the Intensional Run-time Programming Environment (RIPE).
Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.
Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
boost_graph tried to wrap the C++ Boost Graph library in Python, providing graph algorithms like Breadth First Search, DFS, Shortest Path, Topological sort. This project is dead (http://bayleshanks.com/pamv1)
Latex editor with document structure tree view and project handling. Latex output allows direct jump to warnings/errors. Projects folders gives support for figures/graphs. Editor component includes usual features like search/replace and syntax highlight.
RISO: distributed, heterogeneous Bayesian belief networks. Belief network: a probability model defined on an acyclic directed graph; distributed: nodes can be on different hosts; and heterogeneous: allowing different types of conditional distributions.
Project VDW serves as a repository for all things pertaining to Van Der Waerden sequences. Volunteers to run the distributed client, mathematicians to help with theory, and anyone interested in VDW sequences are welcome!
The purpose of this project was to prepare gfortran for integration into gcc. Since this integration was completed in the summer of 2003, this project is now finished. You can find information about gfortran on http://gcc.gnu.org/wiki/GFortran/
Csolve is a constraint solver compiler. It compiles a set
of constraints into an arc-consistency algorithm.
Generated output is in the C language and can be linked
with existing code. Csolve
also contains libraries for standard instantiation method
This application is designed to solve problems of transshipment. This
problem of the graph theory consists in finding a negative stream on the
arcs which minimizes the total cost of the transport in a network
R(V,E,b,c) where :
- V = vertex
- E
Charlemagne is a versatile genetic programming application which includes a command-line client and an interactive console mode. It features built in input-output mapping support, and is user-extensible for complex fitness evaluation in Python and Lisp
Geomatrix, collection of C/C++ libraries to be used for symbolic description of n-dimensional geometric models. Operates internally with a representation that constructs complex objects based on primitives, allowing loss-less modifcation of models.
Mines is a program that will attempt to solve a 10x10 Minesweeper puzzle. The purpose of this project is to address the well-known problem of determining whether a given Minesweeper puzzle is solvable or not.