47,133 repositories indexed
889–912 of 935 · Most stars
Simple Football Blazor Server web app displaying fixtures & results, group standings, teams & players and a player search. Can configure to run for chosen competition. Currently set to run for the Premier League
Lorem Ipsum generator for Elixir
This repository contains a script to handle the auto creation of a Docker Asset Image for a given Sitecore module
Rhythm Trainer based on the idea of users snapping their fingers while listening to music. Won Apple's Global WWDC23 Swift Student Challenge.
The repository host gives no description.
This project allows you to quickly test AR demos to see what works and what doesn't with or without a webcam.
AI writes. SPARDA proves. A deterministic, offline gate that catches when an AI edit removes a guard, exposes a route, or breaks an invariant — no API key, right in the agent edit loop.
Public transit ticketing system for customer issues and feedback with: inter-departmental routing with notifications, department/person assigments, simple workflow, ticket searching, pre-canned reports, daily reminders and more.
Node.js Homematic CCU ReGaHSS Remote Script Interface
Per-repo memory, outcome telemetry, and a calibrated-confidence gate for Claude Code, with MCP and AGENTS.md projections so other AI coding tools can read its context. Notes survive sessions; success claims need test evidence; your reverts are remembered. Local-only, stdlib runtime.
Jupyter Kernel for ACL2
Repo to accompany the series "Build A Pet Management System With Remix, Prisma, and Postgres" https://www.youtube.com/watch?v=wqyHGQlZcws&list=PLTnRtjQN5ieYu9SdwLvzKYFVtfqySY7FT
The public release of the Babel2 framework, a framework for Fluid Construction Grammar, multi-agent experiments and Incremental Recruitment Language.
Gremlin-Server client with ad-hoc extensible, reactive, typeclass based API allowing for using turing complete graph traversal language gremlin to query graph databases from browser
WindowsAutorun - helps you manage autoload in Windows OS.
Crystal implementation of the Secure Remote Password protocol (SRP-6a)
Reimplementation of Natural Number Game in Coq
A very simple JSON-REST client to TinkerPop 3 Gremlin Server
Generate video thumbnails from local or remote video files - Capacitor plugin
Detect dead code with confidence via real user monitoring
Cargo module to deploy remotely playframework application
A simple Windows IDE for developing with MicroPython MPRemote devices
A remake of the iconic 70's Snake game powered by HTML5 and JavaScript
An online calculator, but you can only use it on your remote friend’s GPU