Graph Theory [maintainers=@chdoc,@damien-pous]
- coq
- graph-theory
- mathcomp
- docker-coq-action
61,275 visible repositories in the index
1,705–1,728 of 1,928 · Most stars
Graph Theory [maintainers=@chdoc,@damien-pous]
Neumorphism framework for UIKit.
Example repository for GitHub Actions Time of Check to Time of Use (TOCTOU vulnerabilities)
LibFindMacros development repository and other cool CMake stuff
A gem that helps you generate your factory files.
This repository contains a sample showcasing Web APIs with Node.js compared to ASP.NET Core 1.0
Python package for inverse kinematic calculations of hybrid serial parallel robots
The d-SEAMS C++ core engine
Simple Elixir file-system directory tree walker. It can handle large filesystems, as the tree is traversed lazily.
Minimal implementation of Ruby's factory_girl in Elixir.
Godot template repository for my programs
Pyramid web framework session factory backed by Redis
TypeScript + NodeJS API for Golem
Recursively watch a directory for modifications and publish file content to an MQTT broker
OTP application for generating blog posts from a Git repository containing markdown files.
A coding agent skill that analyzes git history to understand a codebase before reading any code
The complete toolkit for building AI agents in JavaScript. Lightweight core, React & Terminal UIs, autonomous runtime, tools, skills, memory, RAG and observability. Plug-and-play from chat UI to full agents.
Rule Processor Y is a next-gen Rule processor with complex multibyte character support built to support Hashcat
hypermatch is a high-performance ⚡ Go library designed for rapid matching of a large number of rules to events. It processes thousands of events per second 🚀 against extensive rule sets in-memory with minimal latency ⏱️.
An asynchronous directory file change watcher module for Windows, macOS and Linux wrapped for V
Elixir Faktory worker https://hexdocs.pm/faktory_worker
Updated infix.cl of the CMU AI repository, originally written by Mark Kantrowitz
Microsoft Strategy for Überauth
No-GC memory managment utilities for DLang