Statements of famous theorems proven in Coq [maintainer=@jmadiot]
- coq
- theorems
Repository Index
47,133 repositories indexed
6,961–6,984 of 8,985 · Most stars
An extended platform release manager for Robot Operating System
Open source tools for realistic-behaving electric grid honeynets
Slack Bot Framework
- bot
- bot-framework
- chat
- chatops
Python module for Sony Camera Remote API
tartiflette-aiohttp is a wrapper of aiohttp which includes the Tartiflette GraphQL Engine, do not hesitate to take a look of the Tartiflette project.
- aiohttp
- tartiflette-engine
- graphql-engine
- sdl
A Roslyn analyzer to improve the experience when working with nullable reference types.
Katas that are delivered incrementally - the full problem is not displayed at once, it is revealed when one part is done
Let's start the dance! This boilerplate is a ready setup for starting your next awesome javascript app in minutes. Backbone + Marionette + RequireJS + Twitter Bootstrap
LLM and agent evaluation for Java & Kotlin. Runs in JUnit and CI. Spring AI, LangChain4j, Koog, Embabel, and any LLM client.
- agent-evaluation
- evaluation-framework
- evaluation-metrics
- java
TV studio player with SDI, NDI and MPEG TS outputs
Templates for ASP.NET Core Blazor without any js and css libraries.
Yet another library to handle JSON in Elixir.
A shell test script
A portable cross-platform pinvoke .NET wrapper around libsass to convert SCSS to CSS
- libsass
- dotnet
- dotnet-standard
- scss
POTrace implementation in AS3
PlayerConnect also known as a Reporting System which can be implemented inside your Godot Game and with ease
Quick proof of concept to detect a Kippo SSH honeypot instance externally
Go bingings for GD (https://libgd.github.io/)
Bluetooth LE Sensor Manager for iOS and macOS
Notes on bread baking
A notification center for Godot Engine
- godot-engine
- godot
- notifications
Smooth, high‑performance motion & scrolling animations — 60fps fluid cursor moves, word jumps, and viewport scrolling, all in one.
- animation
- cursor-animation
- lua
- motion
Jupyterlab extension to show notebook cell completion notifications
- jupyter
- jupyterlab
- browser-notifications
- jupyterlab-extension