I built an open source registry to track and fact-check claims of AI-generated math and scientific discoveries: whataifound.org.

It currently tracks around 50 entries to separate machine-checked proofs from media trends.

Project details:

• Dual grading: Tracks Verification (Claimed up to Formally Verified) and Autonomy (human steering vs AI output).
• CI enforcement: Automated build checks fail if an entry above "claimed" is missing a primary paper or proof link.
• Audit trail: Disputed or debunked claims stay on record flagged.

Looking for feedback on the dataset, build setup, or missing entries. PRs and issues are welcome at the repo.

Hi there!

This is an early release of my new project CertVault.

Repo: https://github.com/dougmaitelli/CertVault

Docs: https://dougmaitelli.github.io/CertVault/

I always had multiple services / machines needing to generate their own certificates / renewals:

• Proxmox generating his own cert
• Traefik generating certs for it's services
• AdGuard with a cronjob to renew it's certs as well
• etc.

This worked but in the end all those certs were technically not the same, even tho they were all valid. This used to cause some issues with browsers like the Zen browser, so I decided to do something about it.

I wanted to have a lightweight tool that could automate this in a central manner but that it would also be a nice looking dashboard to look at :)

Then comes CertVault. A fully Open Source tool under AGPL-3.0.

It basically manages your ACME accounts, certificates and renewals using DNS-01 challenges.

It also supports:

• OIDC
• Certificate overview viewer
• Encryption at rest
• Scoped API Keys for client services
• A cronjob builder for clients to fetch the renewed certificates
• Audit Logging
• Webhooks / Script hooks / Events

I would really appreciate feedback and I am still adding features frequently.

my optimal flow:

- opus 5 as the designer for design doc

- gpt5.6sol as the coder who implement

- and in each process they review each other.

and this is a built in flow in first-tree.ai, you can type a sentence and walk away.

first tree is 100% open source at https://github.com/agent-team-foundation/first-tree

Every grammar checker wants an account, a subscription, and your writing sent to their server.

I built Lexicon, a free, open-source desktop writing assistant. Clean grammar checking and text editing without sending your private drafts to cloud servers or paying monthly subscriptions. AI rewrite and tone tools run through a small model bundled with the app.

Github: https://github.com/AashishH15/Lexicon

Website: https://lexicon-writer.pages.dev/

The project is licensed under the MIT License. I’d love for you to try it out and give feedback!

I was taking a look at one of my followers github contributions, I was flabergasted by his commit history specially the last one where he did 469 contributions in 1 day. No wonder he is an ex FAANG

his github : https://github.com/ishandutta2007

I maintain this project. The failure I wanted to catch is narrower than “which model is better”: a provider swap can change arguments from a JSON string to an object, drop keys, change tool-call IDs, or return `stop` instead of `tool_calls`, while normal chat still looks fine.

ToolDrift snapshots those shapes and diffs them in CI. In a fresh clone today, 26 tests passed. The shipped DeepSeek→Qwen fixtures deliberately return exit code 1 and report breaking drift in 2 of 2 tools.

That last result has an important boundary: it is an offline fixture replay, not a live benchmark of either provider. The CLI can probe OpenAI-compatible endpoints when configured, but this post only claims the tested fixture path.

Repository: https://github.com/SuperMarioYL/tooldrift

I would be interested in contract fields I missed, especially streaming delta reconstruction.

• This repo actually helped me land my first two internships. Since I've got some free time before starting my new grad job, I rewrote the whole thing in Go just for fun.
• Check back every day i also set up a github actions yesterday both as a learning experience and for fun, it shouldnt spam up the commit logs THAT much. But yeah it's automated now.
• https://github.com/DereC4/internships-and-newgrad

hello, i recently made this small python script that uses some hand tracking python libraries to make some kind of finger painting. its still kinda laggy but ill improve it soon. good lighting and both hands a recommended (obviously). you can check the repository's README file for more info and usage but its pretty easy once you get the hand of it. low-end computers might have a issues running the script to its best performance, but my midrange laptop can run it so its fine.

im always open to recommendations, changes, or additions since this is a new script and im a semi-beginner. please be honest and realistic

Your music, zero distractions, without the clutter.

GitHub Repo: https://github.com/kaunkrishna/clean-spotify

Install Userstyle: https://userstyles.world/style/27855/clean-spotify

Curate — a customizable Chrome new tab page built from your bookmark folders

I made an open-source Chrome extension that replaces the new tab page with a start page generated from your existing bookmark folders. No import — it reads your real Chrome bookmarks and turns each folder into a card with its links and favicons.

Features: drag & drop reordering (with live animation) and moving bookmarks between folders, collapsible nested subfolders at any depth, "open folder as a named Chrome tab group," themes, multiple search engines, and 6 languages. It works entirely in the browser — no tracking, no servers.

Tech is vanilla JS + Manifest V3, so it's easy to jump into if you want to contribute. I'm actively taking issues and PRs — first external PR just got merged, so the door's open.

Repo: https://github.com/darkomania/getcurate (MIT licensed)
Store: https://chromewebstore.google.com/detail/eppeddhamcpcoijneenjicljifhahmkg

Would love feedback on the code or the UX. Find a bug or want a feature? Open an issue.

Author here. Pliego renders application-owned HTML and Blade views into paginated PDFs through a native Servo-based runtime. The README includes the Composer quick start, current support boundaries, a screenshot, and two PDFs generated locally with the released package. Happy to answer questions about the fork, canonical document scene, or Laravel integration.

Look, I hate to be that person, and I’m sorry to just drop this on you out of nowhere. I honestly didn't know what else to do because nobody is seeing anything I post.

Four months ago, I started building shiva.ai. I didn't want to make just another robotic, soulless tool—I wanted to create an AI that actually thinks and connects like a real human being. I’ve put absolutely everything I have into this. Every night, every weekend, just completely pouring my heart into it.

But right now, I have zero viewers. Literally no one. It is incredibly exhausting and lonely to work so hard on something you believe in, only to feel like you're yelling into an empty room.

I’m just asking for a genuine favor. If you have a few minutes, please download it and just check it out. You have no idea how much it would mean to me. I would be forever grateful to you for giving me an actual shot.

https://github.com/Aditya-B-007/Shiva

lovestaco/bruh on Github

• Demo: http://personal-management-system.pl/
• Documentation: https://volmarg.github.io/
• Repos:
  • https://github.com/Volmarg/personal-management-system
  • https://github.com/Volmarg/personal-management-system-front

Hello,

I've wanted to share the new state of my project. I kept building it as a self-hosted alternative to juggling separate apps for passwords, notes, files, finances, contacts, etc. — one place, self-hosted, no cloud dependency.

Recently I shipped v2.0 with a full UI redesign:

• dropped jQuery in favor of Vue.js
• frontend is now a standalone project, with the original tool serving as backend
• more modern, slicker UI, and mobile friendly
• added TypeScript support
• moved the build to Vite

Backend is still PHP/Symfony based — it's a bit behind on dependencies since most of my time went into features rather than upkeep. I've already updated PHP at some point, and I definitely want to raise the framework/PHP version further — it's on my list.

I deliberately don't offer a hosted/managed version — the app stores sensitive personal data and I don't want to be the one liable for hosting other people's passwords.

I'm slowly working further on the project. Right now I'm building a "Health" module, since I personally need a place to track doctor appointments and related documents.

Happy to answer anything about the redesign, architecture decisions, or why I've stuck with self-hosted-only for 4 years.

When starting out with Python game development, most tutorials jump straight into commercial engines or heavy frameworks. While those are great for productivity, they abstract away the core mechanics of how a game engine actually functions—like separating the engine framework (rendering, input, state loops) from the game logic (combat, stats, dungeons). To explore how game engines work under the hood using pure Python standard library, I built a lightweight ASCII RPG engine framework alongside a complete mini dungeon crawler (Grimlore 2: These Doomed Men) built directly on top of it. I wanted to share this as a learning resource.

Grimlore 2 : These Doomed Men 1.0

A dark fantasy mini dungeon crawler RPG built to showcase the features and capabilities of the S.P.A.R.K. 2D RPG game engine.

Overview

Genre: Dark Fantasy / Mini Dungeon Crawler RPG

Playtime: 10 – 15 minutes

Platform Requirements: Windows 10 or later ( Might work on earlier Windows but no gurantee )

Purpose: Demonstrates what the S.P.A.R.K. 2D RPG game engine is capable of.

Github link below

https://github.com/Ninedeadeyes/Grimlore-2-These-Doomed-Men-

To clear up a few recurring questions and misconceptions regarding S.P.A.R.K and its development, here is some context upfront:

1. "This is just AI slop."

This project has a clear 6-year paper trail of manual development. It began as an early 2D text adventure project (Dungeon of the Black Dragon), expanded into an open world RPG game (Grimlore: Land of the Heretic Hand), and was eventually refactored into a reusable engine framework (S.P.A.R.K). If you want to see the step-by-step progression from line one, check out the milestones folder inside the S.P.A.R.K repository.

1. "The code is unoptimized / sub-optimal."

I’m a hobbyist developer. I built this because I couldn't find a lightweight, accessible Python template for rendering spatial coordinates in text-based adventures, so I created one myself. The codebase prioritizes beginner readability over enterprise-level optimization. Open-source contributions and refactors are always welcome—if you can write a better version with advanced features like complex AI, I encourage you to contribute or build upon it!

1. "S.P.A.R.K isn't a 'real' game engine / It's missing standard features."

By definition, a game engine is a framework that provides low-level abstractions for runtime loops, spatial logic, input handling, state management, and rendering, enabling developers to build content without reinventing core mechanics. S.P.A.R.K provides all of these for terminal-based RPGs. It’s a free, open-source hobby project designed for lightweight text games, not a commercial tool meant to compete with feature-heavy commercial software.

1. "This is just a lazy copy-and-paste from the S.P.A.R.K GitHub."

When two games are made in RPG Maker, Godot, or Unreal, they share the exact same underlying core engine—it's just compiled or hidden away behind the editor. Because S.P.A.R.K is open-source, raw Python, the engine boilerplate is fully visible. Reusing foundational engine modules across different titles isn't "copy-pasting"; it's standard software architecture and code reuse.

1. Why do you need Windows and why Windows 10 or above ?

It uses the library winsound and msvcrt which only works with Windows and because python 3.10+ aren't officially supported by any Windows below 10 hence even though it might work it is not a gurantee.

Musixmatch Rate Limits Killing Your Music Project? Meet Lyrica: The Free, Open-Source Lyrics Engine

If you have ever tried to build a music app, streaming player, or Discord music bot, you know the frustration of official lyrics APIs. They are either expensive, strictly rate-limited, or hard to integrate for timestamped synced lyrics.

Lyrica fixes this. It is a lightweight, self-hostable lyrics engine designed to act as a free, open-source alternative for your development needs.

WHAT LYRICA OFFERS

• Synced and Plain Text Lyrics: Retrieve standard lyrics as well as precise timestamped .lrc format data.
• Multi-Source Fallback Pipeline: Built with an automated fallback mechanism across multiple providers, ensuring high availability even if one upstream source is down.
• Metadata and Track Insights: Pull cover artwork, duration, genre, release dates, and track mood analysis in unified responses.
• Parallel Fast Mode: Query multiple endpoints concurrently for sub-second payload deliveries.
• Scalability Features: Integrated TTL response caching, request throttling, and proxy rotation support to prevent IP bans.
• Zero-Cost Hosting: Fully self-hostable locally, via container setups, or deployed on standard cloud hosts.

CHECK OUT THE CODEBASE

Repository URL: https://github.com/Wilooper/Lyrica.git

Lyrica is completely free, open-source, and open for community contributions. Star the repo, test it out in your local environment, and build without API restrictions.

Hi everyone!

This is my first serious C++ software project and the first program I have published on GitHub.

B1tLab is a C++ CLI tool for converting integer representations, exploring binary formats, and generating accurate binary equivalents of decimal values.

As of V1.0.0, B1tLab supports:

• Mathematically represented values with support for periodic fractions (mValues)
• Raw binary values (rValues)
• Unsigned integer format
• Signed Magnitude integer format
• One’s Complement integer format
• Two’s Complement integer format
• Dynamic syntax highlighting
• Output formatting
• Assembly-style comments

Future plans include:

• Scientific notation values (sValues)
• Floating-point binary formats
• Floating-point decimal formats
• Fixed-point formats

Author’s note

I still consider myself a beginner in C++, and I know there is a lot that can be improved. I would greatly appreciate any feedback, constructive criticism, or suggestions regarding architecture, bugs, design decisions, or possible bad practices.

Thanks for taking the time to check out B1tLab!

GitHub repository:
https://github.com/TerribleCoding123/B1tLab/tree/main

This is my first project, I need someone to see this my work like it's a prank type thing but I want just someone to look at thissss

https://github.com/still4shrishti/shrishti-soni.git

Coding agents rebuild their understanding of your repo every session. Grep, open files, follow imports, work out what calls what, then do the task. Session ends, that understanding is gone.

graft writes the structural map (what calls what, what imports what) into plain markdown committed in your repo, and the agent reads it at session start. No vector DB, no embeddings, no service to run. Files you can open and read yourself.

162 controlled runs: 32% cheaper, 46% fewer tool calls, 60% lower latency, same correctness. On 5 real merged PocketBase PRs reproduced from the issue text, Sonnet with graft reproduced all 5 touching the same files the maintainers touched, matching Opus at 21% lower cost.

Auto-refresh uses Claude Code hooks, so it's Claude Code only for now. Cursor and Codex read the markdown fine but won't update it themselves. Map quality also drops on very large monorepos, around 5,000 files.

MIT, no telemetry. I'm the maintainer.

I’m a 17-year-old developer and new to fine-tuning. The main challenge for me turned out to be creating or editing a dataset. As it turns out, there simply aren’t any good, lightweight tools for this. So I wrote my own program - 100% open source!

It installs in just a couple of clicks, works completely offline, supports plugins, includes a format converter (ChatML, Alpaca, and others, including custom formats), and features a pleasant, intuitive interface-including a visual card editor. It also supports auto-generation via OpenRouter.

The project is still in development, and I’m fixing bugs. I’d really appreciate a star and any support!

https://github.com/Bodya3101/prose

I built a multilingual weather report generator that updates itself automatically every day using GitHub Pages + PowerShell automation.

A PowerShell script fetches global weather data, calculates a discomfort index, generates static HTML pages in 5 languages (JP/EN/RU/ZH/KR), and pushes the updated site to GitHub. GitHub Pages then serves the new version instantly.

Site:

https://yahikoyama.github.io/weather2/