Stop wasting engineering hours. Build secure, production-grade apps that connect directly to your company’s SQL and APIs.
Create internal software that meets enterprise security standards. Retool connects to your business data—databases, APIs, and vector stores while ensuring compliance with granular permissions and audit logs. Whether on our cloud or self-hosted, build the dashboards and admin panels your organization needs without compromising on security or control.
Learn More
Outgrown Windows Task Scheduler?
Free diagnostic identifies where your workflow is breaking down—with instant analysis of your scheduling environment.
Windows Task Scheduler wasn't built for complex, cross-platform automation. Get a free diagnostic that shows exactly where things are failing and provides remediation recommendations. Interactive HTML report delivered in minutes.
aphasia is an advanced scripting language for the web. It features a type-safe core, C++ modules with signatures, an optimizing "compiler", higher-order functions, built-in database support, garbage collection, and more.
The MyNOS project aims at developing a new and different operating
system, based on high-level languages. MyNOS will be based on the
OCaml bytecode interpreter. We'd like to explore microkernel
architecture and new language definition too.
An interpreter of lambda calculus.
It shows reduction process of lambda terms.
Several evaluation strategies are supported.
Output format can be selected from LaTex, plain text.
Es handelt sich hier um ein Plugin-Projekt für Eclipse, ins Leben gerufen, da wir an der Uni SML programmiert haben und ich einfach keine manierliche Entwicklungsumgebung finden konnte.
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.
A typed XML processing language that integrates XML schema languages into the type system of the programming language. (XDuce is pronounced "transduce".)
From the XML definition of your database, DewDrop will generate clean and human-readable SQL DDL code for any supported target database. This means you can define your database just once in XML, and have it work for any database automatically.
hazel aims to be a practical programming language for development of large software projects. Its application domain is similar to that of C++. Its syntax is similar to that of C.
A library which provides the same functionality as the Python/C API detailed at python.org, thus allowing objective caml programmers to provide python modules as native ocaml code, as well as allowing ocaml code to use python extensions.
mGTK is glue code to make GTK+ accessible from Standard ML. This provides a convenient way for SML programmers to add GUI features to applications.
mGTK should work on all platforms where both Moscow ML and GTK+ are supported.
It's a modern take on desktop management that can be scaled as per organizational needs.
Desktop Central is a unified endpoint management (UEM) solution that helps in managing servers, laptops, desktops, smartphones, and tablets from a central location.
Here we have fun developing software related to embedded extension languages and small languages in many application domains, using existing languages and/or creating new ones.
The Application System Xcaml (AS/Xcaml) is a full-featured web-application architecture based on Xcaml, a web-oriented syntax extension of the Objective Caml language.
This project is a lightweight server written in Ocaml for highly interactive webpages or even online browser based games. The server can already be used as a fast frontend to a MySQL database. The software should work on *nix and windows.
C-Prime, or C' in abbreviation, is simply an attempt to add some fun and modern features to C without sacrificing speed or power. We intend to make "down and dirty programming" a "more enjoyable" experience.
This is a collection of several simple functional languages all based on combinator graph reduction techniques for interpretation. For now there's only one package here: lazy-l, which is an interpreter for Alonzo Church's untyped lambda calculus.