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.
Try free now
Powering the best of the internet | Fastly
Fastly's edge cloud platform delivers faster, safer, and more scalable sites and apps to customers.
Ensure your websites, applications and services can effortlessly handle the demands of your users with Fastly. Fastly’s portfolio is designed to be highly performant, personalized and secure while seamlessly scaling to support your growth.
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.
Automata Based Programming Tool for implementing logic for J2SE, J2EE and Sybmian applications. Consists of Java FSM Framework and Eclipse Plugin parts. Plugin implements UML model editor, visual debugger, validator, compiler and interpreter for Eclipse
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.
Functions to convert to and from decimal to Canonical Signed Digit representation. Handles fractional numbers.
Useful for multiplierless hardware blocks on ASICs, FPGAs etc.
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.
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.
Build gen AI apps with an all-in-one modern database: MongoDB Atlas
MongoDB Atlas provides built-in vector search and a flexible document model so developers can build, scale, and run gen AI apps without stitching together multiple databases. From LLM integration to semantic search, Atlas simplifies your AI architecture—and it’s free to get started.
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.
A Python package that provides classes and tools for dealing with dimensional quantities. Includes a parser for the quantity language (i.e. calculates "3 meters per second in miles per hour") and a class for constructing matrices containing dimensions.
The Felo rating system provides an objective fencing strength estimate for each individual fencer in a group, just like the Elo rating in chess. This program calculates the Felo numbers by analysing a bout result list created by the user.
PMML-compliant scoring engine and analytic toolkit
Augustus development has moved to google code. The new project page is augustus.googlecode.com. New releases of the project are not currently being released to sourceforge.
Augustus is designed for statistical and data mining models and produces and consumes models with 10,000s of segments.
Versions of Augustus support PMML 3, 4.0.1, and 4.1.
PyGTS is a python package used to construct, manipulate, and perform computations on triangulated surfaces. It is a hand-crafted and pythonic binding for the GNU Triangulated Surface (GTS) Library. THIS PROJECT IS NOT BEING MAINTAINED.
The NUMIPAD library implements several methods/algorithms to solve inverse problems and adaptive decomposition (i.e. Tikhonov regularization, Total Variation, Basis Pursuit, etc.)
PGAF provides a framework tuned, user-specific genetic algorithms by handling I/O, UI, and parallelism. It is designed for optimizing functions that take a "very long time" to evaluate.
A Python library bringing together utilities I've written over the years for work in bioinformatics and biostatistics, which should be generally applicable outside these fields as well. Focuses on string processing, DBI, and math.
TaDaPro is a command-line utility to operate with numerical column tabulated data.
It is intended for operations that are cumbersome to do by hand in a spreadsheet, and for transformations that have to be applied as a batch process on many files.