Universal markup converter

ShellCheck, a static analysis tool for shell scripts

Blazing fast, instant realtime GraphQL APIs on all your data with fine grained access control, also trigger webhooks on database events.

REST API for any Postgres database

Run compilers interactively from your web browser and interact with the assembly

The batteries-included full-stack framework for the AI era. Develop JS/TS web apps (React, Node.js, and Prisma) using declarative code that abstracts away complex full-stack features like auth, background jobs, RPC, email sending, end-to-end type safety, single-command deployment, and more.

Dockerfile linter, validate inline bash, written in Haskell

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

Cool open source projects. Choose your project and get involved in Open Source development now.

A strongly-typed language that compiles to JavaScript

A friendly programming language from the future

Book of Elementary Functional Algorithms and Data structures

The framework for building with WebAssembly (wasm). Easily & securely load wasm modules, move data, call functions, and build extensible apps.

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

An advanced keyboard manager

Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

Koka language compiler and interpreter

Cryptographic currency implementing Ouroboros PoS protocol

The core of xmonad, a small but functional ICCCM-compliant tiling window manager