anand-bala - Overview (original) (raw)

Skip to content

Navigation Menu

• • AI CODE CREATION
    * GitHub CopilotWrite better code with AI
    * GitHub SparkBuild and deploy intelligent apps
    * GitHub ModelsManage and compare prompts
    * MCP RegistryNewIntegrate external tools

View all features

• Pricing

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Sign up

Appearance settings

Anand Balakrishnan anand-bala

• University of Southern California
• Los Angeles, CA
• https://anandb.dev

Organizations

Block or report anand-bala

Pinned Loading

1. Tool/library for manipulating and monitoring temporal logic specifications
   Rust 10
2. A collection of grammars, parsers, and abstract syntax trees in Python for various logics
   Python
3. Online monitoring for perception systems using Spatio-Temporal Quality Logic
   C++ 7 2