Koka

Koka

License: Apache License 2.0


Description:

Koka is a strongly typed functional language with effect types and handlers, featuring a compiler and interpreter and Perceus garbage-free reference counting for efficient native code.

Dyad


Dyad

License: Apache-2.0 license


Description:

Dyad is a free, open-source, local app builder that enables users to create AI-powered applications without coding. Supporting various AI models, it emphasizes privacy by running locally. It offers seamless workflows, native integrations, and community support, making app development accessible, flexible, and owner-controlled.

FastMCP


FastMCP

License: Apache-2.0 license


Description:

FastMCP is a framework for building Model Context Protocol (MCP) servers and clients, facilitating secure and standardized interactions between large language models and resources. It simplifies the development of tool-based APIs, resource management, and interaction patterns with an emphasis on speed, simplicity, and Pythonic design.

OpenCode

OpenCode

License: MIT license


Description:

OpenCode is an AI coding agent built for the terminal, supporting multiple LLM providers, and features a native TUI, multi-session, and shareable links. It aims to enhance developer productivity with a responsive, themeable interface and seamless integration with various AI models.

Gitea

Gitea

License: MIT


Description:

Gitea is a lightweight, self-hosted Git service featuring repository management, CI/CD integrated with Gitea Actions, project tracking, package management, and extensive deployment options for diverse environments and databases.

boardswarm


boardswarm

License: Apache-2.0, MIT


Description:

Distributed devboard server that enables interaction with development boards. It is open source, licensed under Apache-2.0 and MIT, and supports a range of tools for managing and controlling hardware development boards.

Git


Git

License: GPLv2


Description:

Git is a free, open source distributed version control system known for speed, efficiency, and ease of use. It supports small and large projects, with features like local branching, staging areas, and multiple workflows, making it a popular choice for code management.