Browse projects - Page 42

Sort by Direction

The Ironclad Operating System Kernel Cristian Simon (streaksu) (2 projects)

Ironclad is a formally verified, real-time capable, UNIX-like operating system kernel for general-purpose and embedded uses. It is written in SPARK and Ada, and is comprised of 100% free software.

GPL-3.0 ada, embedded, formal-verification, kernel, operating-system, spark
The Gloire Operating System Cristian Simon (streaksu) (2 projects)

OS built with the Ironclad kernel and using GNU tools for the userland, along with some original applications like util-ironclad. Gloire is capable of running Xorg-based desktop environments, games...

MIT ada, distribution, os, operating-system
TravelLens TravelLens Maintainer (1 project)

A Flutter + Dart mobile app integrating Hugging Face Inference API for object detection, OCR, QA, summarization, translation, and TTS—all in one seamless, sub-5-second experience.

MIT flutter, dart, object-detection, OCR, summarization, translation, TTS
Yosqel--Generative AI-Powered Virtual School Labs for Girls & Women Educators VRapeutic Inc. (1 project)

A scalable, headset-agnostic platform delivering immersive STEM lab experiences to underserved African communities. It integrates VR, LLMs, and LMMs to support both learners and educators.

MIT education, vr, stem, girls, africa, llm, accessibility, immersion, open-source, teacher-training
A-Agent namenotfound.ai LLC (1 project)

A-Agent is an AI-powered workspace system that enables users to build specialized agent chains for complex tasks, transcending the limitations of single, monolithic AI models. Unlike traditional AI...

Apache-2.0 ai, local-first, privacy, agents, llm, on-device, ai-workspace, code-generation, software-engineering, data-sovereignty
PocketBase Gani Georgiev (1 project)

PocketBase is an open source backend distributed as a single portable file that includes embedded SQLite database with realtime subscriptions, built-in files and users management, jobs scheduling, ...

MIT backend, realtime, authentication, developer-tools, go-framework, database, sqlite, api
Vale CLI Joseph Kato (4 projects)

The core command-line interface of the Vale ecosystem, enabling customizable style-based linting for technical documentation, blog posts, and other text formats. Extensively used in CI/CD workflows.

MIT cli, developer-tools, linting, documentation, static-analysis, open-source
Vale GitHub Action Joseph Kato (4 projects)

GitHub Action for integrating Vale into CI pipelines. Makes it easy to add documentation linting to pull requests, ensuring consistency in collaborative writing workflows.

MIT ci, github-action, automation, linting, open-source, documentation
Vale Language Server Joseph Kato (4 projects)

A language server implementation for Vale, allowing seamless editor integration (e.g., VS Code, Neovim). Brings real-time linting to developers and writers in IDEs.

MIT language-server, developer-tools, real-time, linting, ide, open-source
Vale Website Joseph Kato (4 projects)

The public documentation and marketing website for the Vale ecosystem. Hosts installation guides, style configuration examples, integration docs, and more for both new and advanced users.

MIT documentation, docs-site, developer-tools, static-site, open-source, website
SparrowApp Techdome (1 project)

SparrowApp is an open-source, AI-native API testing platform that empowers developers to efficiently test, automate, and monitor APIs with intelligent suggestions and streamlined workflows.

AGPL-3.0 api-testing, open-source, ai-native, automation, developer-tools, quality-assurance, api, testing
npsnav.in Rishikesh Sreehari (1 project)

npsnav.in is an attempt to document the performances and NAV of all national pension scheme(NPS) funds in India along with providing a free API.

AGPL-3.0 +1 nps, finance, india, open-data, api, nav, pension
Unexpected Keyboard Julow (1 project)

Lightweight and privacy-conscious virtual keyboard for Android.

GPL-3.0 +1 android, mobile, privacy, productivity, programming, user-experience
aliae Jan De Dobbeleer (2 projects)

Cross shell and platform alias management

MIT terminal, aliae, shell, alias, cli
Oh My Posh Jan De Dobbeleer (2 projects)

The most customisable and low-latency cross platform/shell prompt renderer

MIT terminal, ohmyposh, shell, prompt, cli
Gemini MCP Desktop Client Shreyan Mehta (1 project)

A leading open-source desktop app for Model Context Protocol (MCP), powered by Gemini and built using Electron. It supports plug-and-play configuration, pre-integrated servers, and free-to-use Gemi...

GPL-3.0 mcp, gemini, ai, electron, desktop-app, open-source, foss, llm
ComfyUI-Copilot Enhanced ComfyUI-Copilot India Team (1 project)

An intelligent assistant for Comfy-UI that simplifies AI workflow creation through natural language interactions, node recommendations, and smart workflow building. This enhanced version aims to im...

MIT ai, machine-learning, workflow-automation, developer-tools, comfyui
GoalPost GoalPost Earth (1 project)

A mutual aid and community resilience project helping people organize and distribute resources effectively. Our open-source platform empowers communities to connect, collaborate, and share resource...

Apache-2.0 mutual-aid, open-source, community, nonprofit
TilBuci Lucas Santos Junqueira (1 project)

TilBuci is a free web tool that can be used to build interactive digital content for different purposes. Digital magazines, content for kiosks, documentation materials, interactive narratives, digi...

MPL-2.0 creation, multimedia, development, web
Password Monitor StellarSand (1 project)

Android app that seamlessly integrates with Have I Been Pwned? to help you verify whether your passwords have been compromised in any publicly disclosed data breaches. Your passwords stay private a...

GPL-3.0 android, mobile, privacy, security

Browse projects (1141)

Report listing

Unverified URL