Development Page 85 of 412

Lean is a functional programming language and interactive theorem prover based on dependent type theory. Dependent type theory unites the worlds of programs and proofs; thus, Lean is also a programming language.

MCP Server Directory is a comprehensive collection of Model Context Protocol (MCP) servers that helps developers, AI enthusiasts, and businesses discover and utilize the right tools for connecting AI models with external applications.

A damn sexy, open source real-time dashboard builder for IOT and other web mashups. A free open source alternative to Geckoboard. Includes a powerful plugin architecture to create any amount of customization.

GNU Savannah is a project of the Free Software Foundation, which serves as a collaborative software development management system for free Software projects.

DeltaTune is a small Windows program that shows you the title and artist of whatever song you're currently listening to on your computer in a similar fashion to that one time DELTARUNE did it in chapter 1 when Field of Hopes and Dreams started playing.

Wave goodbye to the struggle of setting up Python on your local machine. No more installations or complicated configurations—just open your web browser, enter your code, and hit RUN to see it in action instantly!

HexTo is a complete color toolkit for designers and developers. It lets you convert color formats (HEX, RGB, HSL, CMYK, and more), check accessibility contrast, simulate color vision types, generate harmonies, and export swatches or tokens.

An efficient server implies a lower cost of the infrastructure, a better responsiveness under load and happy users. How can you efficiently handle the resources of your server, knowing that you are serving the highest number of requests possible, without sacrificing security...

Using Hype, you can create beautiful HTML5 web content. Animations and interactive content made with Hype work on desktops, smartphones and tablets. No coding required.

If you are like many computer users, you would frequently like to make changes in various text files wherever certain patterns appear, or extract data from parts of certain lines while discarding the rest.

Pijul is a free and open source distributed version control system based on a sound theory of patches, which makes it easy to learn and use, and really distributed.

This is a browser-based developer environment where you can take notes and code side to side.

Java framework offering unified API for creating 2D or 3D games with cross-platform support, desktop-native debugging, rapid prototyping, and hot code swapping.

Niches Hunter is a research tool designed to help founders and indie hackers identify underserved niches in the App Store.

Native desktop app for Windows supports efficient REST and HTTP API testing, fast performance, low resource use, code snippets, custom methods, import/export, and multilingual UI.

.NET language playground.

dokieli is a decentralized article authoring, annotation, and social notification tool which works from a Web browser. While it is a general purpose tooling to write articles, it is fully compliant with the Linked Research initiative and principles, and provides features and...

KrakenD emerges as a premier API Gateway, designed for unmatched efficiency, flexibility, and scalability. As a high-performance solution, it acts as a Backend For Frontend (BFF), sitting between clients (frontend) and source servers (backends).

wxPython is a GUI toolkit for the Python programming language. It allows Python programmers to create programs with a robust, highly functional graphical user interface, simply and easily. It is implemented as a Python extension module (native code) that wraps the popular...

Flexbox is incredibly powerful. But it's also crazy hard to master. So we all end up depending on a cheat sheet and some mad guessing in the dev tools. Enough of that! Time for you to:

Replace notepad with free Unicode notepad replacement, rich in innovative features, text-processing functions, tools and hot-keys.

SciTE4AutoHotkey is a SciTE-based AutoHotkey script editor. It provides:

Syntax highlighting, Calltips (also known as IntelliSense), AutoComplete, AutoIndent, AutoHotkey help integration, Abbreviations, Editing macros, Debugging support, .

A revolutionary new tool for Visual Novel Creation aimed towards aspiring artists and writers to bring their stories to life.

Online test to help speeding up heavy web pages.

WASM-4 is a low-level fantasy game console for building small games with WebAssembly. Game cartridges (ROMs) are small, self-contained .wasm files that can be built with any programming language that compiles to WebAssembly.