websim.com
Websim supports software development with code generation, analysis, debugging, or documentation.
h5i
h5i is a workspace for securing web applications through two approaches: finding vulnerabilities with AI agents and proving correctness with formal verification. It provides AI agents a toolkit for browser automation, HTTP traffic manipulation and reconnaissance, and includes h5i-app, an Axum-based Rust framework for verification with Lean 4.
GitHub repo Directory import
Features
- browser automation, HTTP traffic manipulation, and reconnaissance Source: github.com
Uses
- Prove authorization, data isolation, and business logic properties Source: github.com
Links
Tags
-
0
Websim supports software development with code generation, analysis, debugging, or documentation.
-
0
Aider is an AI pair programming tool that runs in the terminal and works with cloud and local LLMs. It maps the codebase, supports more than 100 code languages, and integrates with Git to automatically commit changes. It can also run in an IDE and accept voice-to-code instructions.
-
0Cursor is a coding agent for building software. It can be used to understand a codebase, plan and build features, fix bugs and review changes. Cloud agents run in isolated VMs for parallel work, and it integrates with tools including GitHub, GitLab, Slack and Linear.
-
0
Teaching page by John M. Zelle, Ph.D., for an introductory computer science textbook written in Python and published by Franklin, Beedle & Associates. It links edition-specific public resources for four editions and offers graphics.py, a simple graphics library released under the GPL for introducing object-oriented concepts. Instructor resources including problem solutions and exam questions are available from the publisher.
-
0Audify AI is a text-to-speech converter that turns written text into speech using AI models from OpenAI. Users can select voices, adjust speaking speed, and download audio in formats such as MP3, WAV, FLAC and OPUS. The site lists voiceovers, podcasts, audiobooks, accessibility and education among use cases.
-
0Supermaven is an AI code completion tool that uses a 1 million token context window to provide code suggestions. It is compatible with VS Code, JetBrains IDEs and Neovim, and includes a chat interface for working with models including GPT-4o and Claude 3.5 Sonnet. A free tier is offered, and Pro adds a 1 million token context window.
Community notes
Reviews and discussion
No reviews yet
Be the first to share how this project worked for you.
Join the discussion
Sign in with a verified account to leave a review or join the discussion.
Sign in to reviewKeep exploring
More in AI Coding & Development
aider.chat
Aider is an AI pair programming tool that runs in the terminal and works with cloud and local LLMs. It maps the codebase, supports more than 100 code languages, and integrates with Git to automatically commit changes. It can also run in an IDE and accept voice-to-code instructions.
cursor.com
Cursor is a coding agent for building software. It can be used to understand a codebase, plan and build features, fix bugs and review changes. Cloud agents run in isolated VMs for parallel work, and it integrates with tools including GitHub, GitLab, Slack and Linear.
mcsp.wartburg.edu
Teaching page by John M. Zelle, Ph.D., for an introductory computer science textbook written in Python and published by Franklin, Beedle & Associates. It links edition-specific public resources for four editions and offers graphics.py, a simple graphics library released under the GPL for introducing object-oriented concepts. Instructor resources including problem solutions and exam questions are available from the publisher.
audify-ai.com
Audify AI is a text-to-speech converter that turns written text into speech using AI models from OpenAI. Users can select voices, adjust speaking speed, and download audio in formats such as MP3, WAV, FLAC and OPUS. The site lists voiceovers, podcasts, audiobooks, accessibility and education among use cases.
supermaven.com
Supermaven is an AI code completion tool that uses a 1 million token context window to provide code suggestions. It is compatible with VS Code, JetBrains IDEs and Neovim, and includes a chat interface for working with models including GPT-4o and Claude 3.5 Sonnet. A free tier is offered, and Pro adds a 1 million token context window.