Skip to content
@Sigil-Logic

Sigil Logic

Sigil Logic: Generative AI for Rigorous Engineering

Popular repositories Loading

  1. mistral-vibe mistral-vibe Public

    Forked from mistralai/mistral-vibe

    Minimal CLI coding agent by Mistral

    Python

  2. SWE-agent SWE-agent Public

    Forked from SWE-agent/SWE-agent

    SWE-agent takes a GitHub issue and tries to automatically fix it, using your LM of choice. It can also be employed for offensive cybersecurity or competitive coding challenges. [NeurIPS 2024]

    Python

  3. cline cline Public

    Forked from cline/cline

    Autonomous coding agent right in your IDE, capable of creating/editing files, executing commands, using the browser, and more with your permission every step of the way.

    TypeScript

  4. kilocode kilocode Public

    Forked from Kilo-Org/kilocode

    Kilo is the all-in-one agentic engineering platform. Build, ship, and iterate faster with the most popular open source coding agent. #1 on OpenRouter. 750k+ Kilo Coders. 6.1 trillion tokens/month. …

    TypeScript

  5. OpenHands OpenHands Public

    Forked from OpenHands/OpenHands

    šŸ™Œ OpenHands: AI-Driven Development

    Python

  6. CodeContracts CodeContracts Public

    Forked from microsoft/CodeContracts

    Source code for the CodeContracts tools for .NET

    C#

Repositories

Showing 10 of 59 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…