Generate interest, access liquidity without selling, and execute trades seamlessly. All in one platform.
Geographic restrictions, eligibility, and terms apply.
Get started with Nexo.
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.
ReliaFree is a Python and PyGTK based suite of tools to assist in Reliability, Availability, Maintainability, and Safety (RAMS) analyses. ReliaFree is intended to be an Open Source alternative to proprietary RAMS analyses solutions.
Model Builder is a graphical tool for designing, simulating and analyzing Mathematical models consisting of a system of ordinary differential equations(ODEs).
Auth0 Token Vault handles secure token storage, exchange, and refresh for external providers so you don't have to build it yourself.
Rolling your own OAuth token storage can be a security liability. Token Vault securely stores access and refresh tokens from federated providers and handles exchange and renewal automatically. Connected accounts, refresh exchange, and privileged worker flows included.
PyCV is a Python package of modules useful for computer vision tasks. Its current focus is on boosting techniques, Haar-like features, and face detection. PyCV provides the world's fastest method for training a face detector, in a few hours.
A Python environment for large and sparse linear and nonlinear optimization using intuitive interfaces to linear algebra tools and subproblem solvers written in low-level languages. It provides building blocks to experiment with new ideas and algorithms.
Compliant and Reliable File Transfers Backed by Top Security Certifications
Cerberus FTP Server delivers SOC 2 Type II certified security and FIPS 140-2 validated encryption.
Stop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
In knight tour (kt) problem every chess square is visited exactly once using knight moves. In this game some knight moves already made and we have an incomplete kt. The object is to complete the kt by guessing missing moves.
1. Create an object-oriented python script that can represent mathematical concepts and their properties. 2. Represent all numeric values exactly. 3. Provide a variety of formats to export or embed representations of the mathematical concepts.
Hermetica is an educational tool for learning about logic. It functions partly as a proof checker with inline annotations. It will also support python scripting for automated subproofs and calculations. I would especially like help with the artwork.
An easy way to integrate any function. Uses sympy as a backend. Currently text-mode only, but the goal is to create a very nice, simple, graphical interface using wxPython or PyGTK.
Linear Algebra Common Expressions (LACE) is a C++ templated library which allows you to operate with matricies and vectors inside your code as easy as on the whiteboard.
Functions to convert to and from decimal to Canonical Signed Digit representation. Handles fractional numbers.
Useful for multiplierless hardware blocks on ASICs, FPGAs etc.
Guanxi is a robust analysis and simulation application for Social Network Analysts. Guanxi allows researchers in the field to create, import, and export an endless array of networks, analyze their structure, and run custom dynamics over them.
Python program for fitting rate constants to primarily kinetic data as 1st or 2nd order kinetics or autocatalysis. It also allows specific noise cancelling, data smoothing by fourrier transform, box averaging and flowing mean. For Python 2.6 or earlier.
This program generates customizable hyper-surfaces (multi-dimensional input and output) and samples data from them to be used further as benchmark for response surface modeling tasks or optimization algorithms.
PuLP: An LP modeller in Python PuLP is an LP modeller written in python. PuLP can generate MPS or LP files and call GLPK, COIN CLP/CBC, CPLEX and XPRESS to solve linear problems.
Improved version of the LibNumTh library (http://libnumth.sourceforge.net/), reimplementing
its methods to work concurrently in a SMP environment.
In addition, it is extended with support for linear algebra and numerical methods mechanisms.
An experimental language designed to be very simple, but expressive enough to represent mathematical constructions and have strong introspective capabilities.