Sign in

Repository Index

47,133 repositories indexed

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

1,993–2,016 of 2,502 · Most stars

Documentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.

  • community-driven
  • manifesto
  • coq

🏦 I built this site to integrate with Up bank (an Australian digital bank), to assist users with budgeting and to gain powerful future insights.

Long-term, cross-project memory for AI coding agents. Your own Obsidian vault as the source of truth. Daemonless and without opaque databases, your memory belongs to you.

Havok physics character controller using Babylon.js,Achieved walking, climbing stairs and up and down slopes

  • babylonjs
  • babylonjs-game
  • third-person-controller
  • babylonjs-character-controller

Redspot is an Substrate pallet-contracts (ink!) development environment. Compile your contracts and run them on a different networks. Redspot's core forks from Hardhat but changed a lot to suit substrate.

EGC gives every AI coding agent the same brain. Shared memory, skills, and live context across Cursor, Claude Code, Copilot, Aider, and 29 AI coding tools with zero configuration. Every tab, terminal, and AI stays automatically synchronized. One brain. Everywhere.

The Harmony Python library: a research tool for psychologists to harmonise data and questionnaire items. Open source.