Atera all-in-one platform IT management software with AI agents
Ideal for internal IT departments or managed service providers (MSPs)
Atera’s AI agents don’t just assist, they act. From detection to resolution, they handle incidents and requests instantly, taking your IT management from automated to autonomous.
Learn More
Vibes don’t ship, Retool does
Start from a prompt and build production-ready apps on your data—with security, permissions, and compliance built in.
Vibe coding tools create cool demos, but Retool helps you build software your company can actually use. Generate internal apps that connect directly to your data—deployed in your cloud with enterprise security from day one. Build dashboards, admin panels, and workflows with granular permissions already in place. Stop prototyping and ship on a platform that actually passes security review.
METIL is a python-like interpreted or compiled language made for speed and generic programming, as in C++ but with static symbolic computations, type propagation, "for" surdefinition. Object orientation is centered on properties, rather than hierarchy.
{sets} is a lightweight constraint programming language. The uniqueness of {sets}, is that it uses ROBDD ( Reduced Ordered Binary Decision Diagrams ) to represent and solve constraints.
neuralnetgen is intended to be a universal neural net generator that receives a neural net description (on Neural Net Description Language, also developed on this project) and generates ANSI C code of a library that implements it.
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 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).
mupacs is a lisp mode for editing MuPAD code (automatic indentation, fontification, ...), as well as running MuPAD in a subshell, with support for debugger and online documentation
Teradata VantageCloud Enterprise is a data analytics platform for performing advanced analytics on AWS, Azure, and Google Cloud.
Power faster innovation with Teradata VantageCloud
VantageCloud is the complete cloud analytics and data platform, delivering harmonized data and Trusted AI for all. Built for performance, flexibility, and openness, VantageCloud enables organizations to unify diverse data sources, run complex analytics, and deploy AI models—all within a single, scalable platform.
Numerically estimate an efficiency of code construction algorithms. Randomly generate n binary words of length m with minimum Hamming distance d and create a prefix code (= retrieval tree) from them. Based on PhD work.
A MEX-based Toolbox for MATLAB(R) for fast interpolation of 1D, 2D & 3D points, clouds and grids. It's a port of EZspline, a Fortran 90 module interface to the PSPLINE library from the National Transport Code Collaboration developed at the Princeton Plasma Physics Laboratory.
Active Networking provides a framework in which executable code within data packets can execute upon intermediate network nodes. The goal of this research is to develop active networks that are capable of predicting their own behavior and to use this ca
JHLib is a mathematical software library written in Java. With support for 2D,3D and nD mathematical calculations, also including Matrix, functions support and shapes. It includes a few none mathematical code, like filesearch and screen scraping.
Modernizing the sentential and predicate logic programs, Bertie and Twootie, by cleaning up the code, rewritting the code to conform to the standard Pascal defination, and developing a graphical user interface for both X and MS Windows.
kin is a set of libraries and tools supporting meta-programming for engineering and technical computing applications. This JVM version of kin has been superseded by the stand-alone version being developed at http://purl.org/net/kin.
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
The DUNS (Diagonalized Upwind Navier-Stokes)code is a 2D/3D, structured, multi-block, multi-species,reacting, steady/unsteady, Navier Stokes fluid dynamics code with q-omega turbulence model. It currently uses a diagonalized ADI procedure with upwind diff
The goal of Operation Project X is to crack the 2048-bit RSA private encryption key Microsoft uses to sign Xbox media, by using distributed computing. This key could be used by Xbox owners to run homebrew code on their machines.
SymDiff is a little command line tool for symbolic differentiation and expression evaluation. Furthermore, the code can be used for the symbolical implementation of certain mathematical algorithms that require derivatives.
Emily is a friendly name for the Machine Learning Environment (MLE). This project is at an early stage of development, and no alpha code is yet available.
JEXP is a small Java framework for the evaluation of expressions parsed from text strings. The code generated by JEXP executes very fast and has a small memory footprint.
The OptControlCentre (OCC) is an user-friendly software package for the optimization of dynamic systems in energy and chemical engineering. Optimization methods include SQP methods as well as a stochastic approach using Simulated Annealing.
The MathForge Application Environment provides users a broad range of Java-based math tools (calculation, visualization, presentation and communication via MathML) and allows developers to leverage existing code while extending MathForge.
Rascal, the Advanced Scientific CALculator, is a platform independent modular calculator. Based on modules for integer, doubles, strings, vectors and matrices it can be easily extended with existing C or C++ code.