Links
AddTLA+ is a high-level language for modeling programs and systems--especially concurrent and distributed ones. It's based on the idea that the best way to describe things precisely is with simple mathematics. TLA+ and its tools are useful for eliminating fundamental design errors, which are hard to find and expensive to correct in code.
Related contents:
Data analysis & OSINT tool for everyone.
warning: created by ex-employee of the FSB
Related contents:
Modern columnar data format for ML and LLMs implemented in Rust. Convert from parquet in 2 lines of code for 100x faster random access, vector index, and data versioning. Compatible with Pandas, DuckDB, Polars, Pyarrow, and PyTorch with more integrations coming..
Lance is a modern columnar data format optimized for machine learning and AI applications. It efficiently handles diverse multimodal data types while providing high-performance querying and versioning capabilities.
Related contents:
The Open Lakehouse Format for Multimodal AI.
Convert from Parquet in 2 lines of code for 100x faster random access, vector index, and data versioning. Compatible with Pandas, DuckDB, Polars, Pyarrow, and PyTorch with more integrations coming.
Related contents:
Secure File Sharing.
Self-hostable, open-source, and encrypted by default. Built with RustFS for speed and FastAPI for reliability.
Chithi (pronounced: chee-thee | IPA: /ˈtʃiː θiː/) is an open source end-to-end encrypted file sharing system with a zero trust backend server architecture.
Related contents:
LangGraph is a library for building stateful, multi-actor applications with LLMs, used to create agent and multi-agent workflows.
Related contents:
A simple prompt playground to test and share your prompt templates.
A tool for testing, debugging, and refining AI prompts. Supports variables, templates to improve prompt quality and speed up development.
Open Source LLM Engineering Platform. Traces, evals, prompt management and metrics to debug and improve your LLM application.
🪢 Open source LLM engineering platform: LLM Observability, metrics, evals, prompt management, playground, datasets. Integrates with LlamaIndex, Langchain, OpenAI SDK, LiteLLM, and more. 🍊YC W23
Related contents:
Langium is an open source language engineering tool with first-class support for the Language Server Protocol, written in TypeScript and running in Node.js.
Free AI Grammar Checker.
LanguageTool is an AI-based grammar checker. Paste your text or start typing below to check grammatical errors and spelling mistakes across languages.
Related contents:
Correcteur d'orthographe, de grammaire et de style en ligne. LanguageTool est un correcteur en ligne gratuit pour le français, l'anglais, l'espagnol et plus de 20 autres langues. Il recherche instantanément les erreurs de grammaire et de style dans votre texte.
Lightweight Network Scanner.
LAN Orangutan is a lightweight network scanner with persistent device labeling, multi-network support, and Tailscale integration. Built by 291 Group.
The most powerful vector database for building AI applications. Open-source PostgreSQL database extension for vector data and vector search operations.
Lantern is an open-source PostgreSQL database extension to store vector data, generate embeddings, and handle vector search operations.
Lightning-fast and Powerful Code Editor Open source. Quick from launch to every keystroke, and batteries included.
Self-Hosted Remote Development Environment.
Open source, self hosted with ease. It uses Devcontainers spec and scales from a single machine to a global fleet of servers.
Lapdev is a self hosted application that spins up remote development environments on your own servers or clouds. It scales from a single machine in the corner to a global fleet of servers. It uses Devcontainer open specification for defining your development environment as code. If you’re interested in a deep dive into how Lapdev works, you can read about its architecture here.
Laragon is a portable, isolated, fast & powerful universal development environment for PHP, Node.js, Python, Java, Go, Ruby. It is fast, lightweight, easy-to-use and easy-to-extend. Laragon is great for building and managing modern web applications. It is focused on performance - designed around stability, simplicity, flexibility and freedom.
Welcome to the Laraplay. A playground environment for any Laravel app or package. Boot-up any Laravel app in seconds! Check out a few examples below.
The PHP Framework For Web Artisans.
Laravel provides a complete ecosystem for web artisans. Our open source PHP framework, products, packages, and starter kits offer everything you need to build, deploy, and monitor web applications.
Related contents:
- Lesser Known Laravel.
- Learn Laravel by Building a Medium Clone @ freeCodeCamp.
- Run PHPUnit and Pest Tests Without Vite Assets in Laravel @ Ash Allen Design.
- Passport - OAuth2 out of the box @ Laravel's YouTube.
- The TALL Stack: Why Laravel, Livewire, Alpine, and Tailwind Make Sense for Internal Products @ Appventura.
Laravel Pulse is a real-time application performance monitoring tool and dashboard for your Laravel application.
Related contents:
Debugbar for Laravel.
Laravel Debugbar is a package that integrates PHP Debug Bar with Laravel to debug database queries and profile other information.
Related contents:
Livewire is a full-stack framework for Laravel that makes building dynamic interfaces simple, without leaving the comfort of Laravel.
Related contents:
Flexible schedule management for modern Laravel applications. The missing calendar management for Laravel.
A comprehensive calendar and scheduling system for Laravel. Manage availabilities, appointments, blocked times, and custom schedules for any resource—doctors, meeting rooms, employees, and more.
h5ai is a modern file indexer for HTTP web servers with focus on your files. Directories are displayed in a appealing way and browsing them is enhanced by different views, a breadcrumb and a tree overview. Initially h5ai was an acronym for HTML5 Apache Index but now it supports other web servers too.
Like IntelliSense, but for shells!
IntelliShell is a command-line tool that acts as a smart bookmark manager. It helps you find, organize, and reuse complex shell commands without ever leaving your terminal.
Voici un petit musée des sons que nous n'entendons plus dans notre quotidien. Encore présent dans nos vies il a quelques années pour certain, d'autres ont disparus il y a bien longtemps, comme oubliés. Comme un musée physique, cette page est destinée à rassembler et à rendre accessible à tous, ce patrimoine sonore et collectif à travers une sélection.
A tiny command-line utility that helps to answer a simple question: What is the latest stable version for a project? ... and, optionally, download/install it.
Related contents:
Créez. Organisez. Collaborez. Un environnement open source, conçu pour le secteur public et ouvert aux communs.
Related contents:
Appointment Scheduling Plugin for WordPress. Powerful Scheduling for Your Business. Incredibly powerful, yet simple in everyday use WordPress plugin.
Top Social Media Management & Influencer Platform. Social media management made easy
Crush your social goals faster with Later Social™. Automate daily social tasks and turn followers into customers with Link in Bio — all in one app.
A cozy terminal clubhouse for developers. Lofi beats, casual games, chat, and tech news, all via SSH.
Make your website look like a LaTeX document.
This almost class-less CSS library turns your HTML document into a website that looks like a LaTeX document. Write semantic HTML, add <link rel="stylesheet" href="https://latex.now.sh/style.css"> to the <head> of your project and you are good to go.
Embedded property-graph database with native vector and full-text indexing. Think SQLite, but for connected data you want to query by relationship, semantics, and text. Embedded single-file knowledge graph database with vector search and full-text search for AI/RAG apps.
One file. Relationship traversal, vector similarity, BM25 full-text search, durable streams, and ACID transactions in one local engine and one query layer.
Kazam is a simple screen recording program that will capture the content of your screen and record a video file that can be played by any video player that supports VP8/WebM video format.
This project aims to provide community built upgrade scripts for OpenERP. We need your help. Read the documentation here: http://readthedocs.org/docs/openupgrade-server/en/latest
Spotify music downloader with a lossless twist, based on the deezspot library.
A self-hosted music download manager with a lossless twist. Download everything from Spotify, and if it happens to also be on Deezer, download from there so you get those tasty FLACs.
store your notes anonymously and encrypted.
Laverna is a JavaScript note taking application with Markdown editor and encryption support. Consider it like open source alternative to Evernote.
A collection of principles and patterns that shape software systems, teams, and decisions.
Laws of UX is a collection of best practices that designers can consider when building user interfaces.
Multilingual, non-autoregressive System 1 decision engine. Typed decisions over 100+ languages in a single forward pass — 33 ms — trained with reinforcement learning against strictly proper scoring rules (RLCD), with a router that picks the right checkpoint per request.
The Braid Design System believes UI (User Interface) components should not provide surrounding white space. For example, a list item having a margin below it to add a gap between itself and the next item. This margin breaks component encapsulation, making it harder to use. A well-built component should not affect anything outside itself.
Related contents:
🐘 👥 Manage PostgreSQL roles and privileges from YAML or LDAP
Postgres is able to check password of an existing role using the LDAP protocol out of the box. ldap2pg automates the creation, update and removal of PostgreSQL roles and users from an entreprise directory.
Related contents:
An open-source 2D level editor from the creator of Dead Cells, with a strong focus on user-friendliness
Simple and elegant PHP. 🍁 The easiest way to create clean, simple but powerful web apps and APIs quickly.
Leaf is a slim and lightweight PHP framework focused on developer experience, usability, and high-performance code. It introduces a cleaner and much simpler structure to the PHP language while maintaining it's flexibility. With a simple structure and a shallow learning curve, it's an excellent way to rapidly build powerful and high performant web apps and APIs.
A wiki for people who think in folders, not feeds.
Self-hosted wiki. Single Go binary, SQLite, Markdown on disk. No external database required.
Context Engineering for AI Agents.
Control what your AI can see. LeanCTX (Lean Context) is the context intelligence layer for AI agents — one local Rust binary that decides what they read, remembers what they learn, guards what they touch, and proves what they save. 60–90% fewer tokens as the receipt. 76 MCP tools, 30+ agents, local-first.
Lean enables correct, maintainable, and formally verified code.
Lean is a theorem prover and programming language that enables correct, maintainable, and formally verified code.
Related contents:
a low power tool for html.
htmz is a minimalist HTML microframework that gives you the power to create modular web user interfaces with the familiar simplicity of plain HTML.
Open Source Project Management Software.
Goal driven Project Management ...because adulting is hard enough already. Made for non-project managers and ADHD, Dyslexia, and Autism.
Leantime is an open source project management system for non-project manager. We combine strategy, planning and executing while making it easy for everyone on the team to use. Building with ADHD, dyslexia and autism in mind. It's an alternative to ClickUp, Monday, or Asana. As simple as Trello but as feature-rich as Jira.
This is a collection of high-quality learning resources organized by topics & formats and enriched by metadata like difficulty level, assumed prerequisites, reviews by experts and quality tags like visual, interactive, challenging etc. For many books or research papers, there are direct links thanks to projects like InternetArchive, LibGen, Arxiv, SciHub, IPFS etc.
A Guide to Learning CSS Grid by Jonathan Suh
CSS Grid is a powerful tool that allows for two-dimensional layouts to be created on the web. This guide was created as a resource to help you better understand and learn Grid, and was organized in a way I thought made the most sense when learning it.
Learn Digital Skills with Free Training - Learn the skills of the future.
Accelerate your career or business with an online digital skills course in everything from marketing to coding and beyond.
Learning is an initiative of the Linux Professional Institute (LPI) and supports you in preparing for our Linux and open source certifications. With the Learning Materials we continuously publish free material for teachers and learners. The program Linux Professional Institute Publishing Partner (LPP) puts our cooperation with commercial and free publishing platforms on a transparent basis.
The SEO Roadmap with Free Resources & Tools.
Start learning SEO or expand your SEO education to grow your site’s organic traffic by understanding every aspect of SEO in order to become or grow further as an SEO specialist with Learning SEO. Learning SEO is a comprehensive guide, featuring the main areas along with resources to learn.
Bicep is a language for declaratively deploying Azure resources. You can use Bicep instead of JSON for developing your Azure Resource Manager templates (ARM templates).
Related contents:
The Microsoft Graph software development kits (SDKs) are designed to simplify building high-quality, efficient, resilient applications that access Microsoft Graph. The SDKs include two components: a service library and a core library.
The service library contains models and request builders generated from Microsoft Graph metadata. The service library provides a rich, strongly-typed, and discoverable experience when working with the many datasets available in Microsoft Graph.
Dev Proxy is an API simulator that helps you effortlessly test your app beyond the happy path.
You test your app to make sure it works as intended. But what if the APIs you use fail? Will your app lose your customer's data? How do you test for this? Simulating API failures is hard. You end up writing code that you won't be shipping or worse: not testing at all. That's why we built Dev Proxy, to simulate API errors so that you can easily test your app without changing your code.
Use Kiota to generate API clients to call any OpenAPI-described API.
Kiota is a command line tool for generating an API client to call any OpenAPI described API you are interested in. The goal is to eliminate the need to take a dependency on a different API SDK for every API that you need to call. Kiota API clients provide a strongly typed experience with all the features you expect from a high quality API SDK, but without having to learn a new library for every HTTP API.