← 최신 프로덕트

Semcheck

AI Tool for checking implementation follows spec. Semantic Checker. It seems that we're not quite there for "natural language programming", but it seems new abstractions are already starting to form.

오픈소스

114 스타 · GitHub외부 사이트

github.com 방문외부 사이트

반응 (1)

비슷한 프로덕트

설명이 비슷한 순

  1. Sigil

    news.ycombinator.com

    A new programming language for AI agents

    Hacker News5점

  2. Sqlsure

    github.com

    deterministic semantic checks for AI-generated SQL

    Hacker News43점

  3. Akshen

    akshen.com

    A community-driven library for verified AI prompts

    Hacker News5점

  4. Remy

    remy.msagent.ai

    an AI agent that compiles annotated Markdown into full-stack apps

    Hacker News5점

  5. SeaGOAT

    github.com

    local, “AI-based” grep for semantic code search

    Hacker News240점