Online Z-notations Editor with Prosemirror and React.js
- z-notations
- formal
- methods
- reactjs
Repository Index
47,133 repositories indexed
97–120 of 165 · Most stars
Tool for translation type comments to type annotations in Python
- annotations
- python-3-6
- source-to-source
- type-hints
Controller extra Bundle for Symfony2
- php
- annotation
- controller
- mapping
Re-apply type annotations from .pyi stubs to your codebase.
- python
- python3
- typing
- type-checking
A Music programming language. Translates source code into MIDI. Includes a player. Supports MIDI-Karaoke. Includes a MIDI analyzer.
- midi
- music-programming
- karaoke
- karaoke-player
Agent skill: outline, mask and count objects in photos with Meta's SAM 3 on your own NVIDIA GPU, with review, exports and a viewer. Works with Claude Code, Codex, Cursor, Pi and other Agent Skills clients.
Generate PyAnnotate annotations from your pytest tests.
- python
- mypy
- type-safety
- tools
D3 plugin for placing circle and text annotation
Annotation generation framework with support for most languages and annotation styles⌨️✨
CASSIA: A Multi-Agent LLM-Based Single-Cell Cell Type Annotation Framework
- ai4science
- llm
- multiagent-systems
- prompt-engineering
A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.
- code-formatter
- code-generation
- mypy
- pyannotate
Reflectionless command line parser
- command-line-parser
- java
- annotation-processing
Chord Charts. Evolved.
- chords
- chord-charts
- chordsheet
- chord-sheet
A graphical user interface to annotate point clouds and 3D data.
- point-cloud
- lidar
- computer-vision
- cpp
Play MusicXML scores in the browser using Web Audio and Web MIDI.
- midi
- music-notation
- musicxml
- web-audio
RootPainter: Deep Learning Segmentation of Biological Images with Corrective Annotation
- biological-images
- root
- painter
- segmentation
Quickly and easily expose Doctrine entities as REST resource endpoints with the use of simple configuration with annotations, yaml, json or a PHP array.
Generate a dynamic Twig breadcrumbs trail via Annotations, PHP Attributes or PHP methods.
- breadcrumbs
- symfony
- php
- annotations
Simple, efficient Excel to POJO library for Java
- java8
- excel
- pojo
- annotation-processor
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
- coq
- hydra-battles
- ordinal-notations
- formal-proofs
Use Lilypond like a boss!
- lilypond
- music
- ruby
- package-manager
Provides a FilterService for Symfony to allow users to implement input filtering in entities using Annotations
- symfony
- symfony-bundle
- filtering
- hacktoberfest
Easy, asynchronous, annotation-based SOAP for Android
Machine learning for Analysis of Proteomics in Spatial biology - Nature Communications
- cell-annotation
- multiplexed-imaging
- mpif