A Library for Representing Recursive and Impure Programs in Coq
Repository Index
47,133 repositories indexed
457–480 of 813 · Most stars
Creating interactive visualizations with Python
Svelte Gantt chart component – lightweight, customizable, interactive, and fast.
- gantt
- gantt-chart
- gantt-diagram
- ganttchart
Production interior authoring and interactive Three.js delivery plugin for img2.
INSTEAD - Simple Text Adventure Interpreter
- interactive-fiction
- lua
- game-engine
- quests
Create encapsulated systems of objects and focus on their interactions
Declarative framework for interactive CLI applications
- terminal
- command-line-interface
- library
- framework
Easy and powerful way to interact with VK API for iOS and macOS
MolTrans: Molecular Interaction Transformer for Drug Target Interaction Prediction (Bioinformatics)
Uncensored AI API and models — one key for Claude, GPT, Gemini, Grok, DeepSeek, GLM and Kimi, with uncensored and abliterated variants where available. OpenAI- and Anthropic-compatible. Pay per token.
- abliterated-models
- ai-gateway
- anthropic-compatible
- claude-api
An AI-powered interactive found phone story framework. Create your own playable phone stories with natural language.
Interactive viewer for JSON logs.
- bubbletea
- go
- golang
- interactive
Practice Clojure using Interactive Programming in your editor
- clojure
- clojurescript
- educational-project
Fast arbitrary-length and infinite-complement bit sets with ranges, iteration, and bitwise operations
- bitset
- bit-vector
- bitwise
- javascript
A multiplatform framework built on top of Babylon.js and React, designed to create interactive and immersive XR experiences.
- ar
- babylonjs
- extended-reality
- mr
TypeDB Studio: An interactive visual environment for TypeDB
- knowledge-base
- visualisation
- graph-visualization
- network
One database for user-user (follows), user-item (likes), and item-item (related items) interactions — precomputed at write time, served as simple lookups
- database
- low-latency
- real-time
- graphdb
Capacitor plugin that allows camera interaction from HTML code
cpp11 helps you to interact with R objects using C++ code.
- r
- cpp11
- cpp
🐸 Python package for interacting with Dota 2 Game Coordinator
- steam
- game-coordinator
- dota2
- valve
▦ PowerTable is a Svelte component that turns JSON data into an interactive HTML table. Inspired by DataTables. Powered by Svelte.
Beautiful deterministic letter avatars for iOS and tvOS
- swift
- letter-avatar
- ios
- objective-c
TranslatedMedical paper writing and research assistant: 32 Agent Skills for Chinese physicians and medical graduate students, usable with Claude Code and Codex, covering topic selection, PubMed literature search, Chinese and English writing, journal selection and submission, and peer review and revision. Medical writing & research skills.
- academic-writing
- agent-skills
- ai-agents
- biostatistics
Learn how to start using Markdown
- workshopper
- nodeschool
- markdown
- how-to