gunb.ai

gunb.ai는 시스템에 구조 설명을 제공하고 검증해 기계 부품을 도출합니다

원문 보기

Modern systems are full of hand-written translations. gunbc gives the system one structural description, checks it, and derives the mechanical pieces. When the description is incomplete, the compiler

개발 도구Rust · SwiftGitHub @gunb-ai온라인운영자 미확인

제품 방문하기 GitHub

써 보셨어요? 한 번만 눌러 주세요. 로그인은 필요 없어요.

가동 상태: 온라인; 30일 가동률 100%
최근 코드 업데이트: 10월 27일; 활성 저장소
최신 버전: 없음
기여자: 5명; 포크 0
라이선스: 라이선스 안내
주요 라이선스 조건의 요약입니다. 실제 이용 조건은 저장소의 LICENSE와 파일별 고지·추가 조건을 확인하세요.
이 제품에 표시된 정보
저장소 라이선스를 식별하지 못했습니다. 자동 판별 실패는 이용 허락을 뜻하지 않으며 메이커 선언도 별도 확인이 필요합니다.
GitHub 자동 판별 · 저장소 대표 라이선스
Other
SPDX 미확인 · 원문 확인 필요
저장소 관측은 파일별 조건·복수 라이선스·의존성 전체를 확인한 결과가 아닙니다.
관측 시점의 정보 · 마지막 수집 성공 10월 27일 15:06 · 마지막 수집 실패 9월 25일 19:57 (한국 시각)
저장소에서 LICENSE 확인 ↗
주요 라이선스 비교
표에 나온 라이선스는 각 조건을 지키면 상용 이용이 가능합니다. 복수·커스텀·미확인 라이선스의 허용 범위는 원문을 확인해야 합니다. 좁은 화면에서는 표를 좌우로 밀어 볼 수 있습니다.
주요 라이선스의 상용 이용, 수정·재배포, 소스 제공 의무와 핵심 조건. 라이선스 이름은 공식 원문 링크입니다.
라이선스 · 원문 상용 이용 수정·재배포 소스 제공 의무 핵심 조건
MIT ↗ 가능 가능 소스 제공 의무 없음 복사본·상당 부분에 저작권·허락 문구 유지
Apache-2.0 ↗ 가능 가능 소스 제공 의무 없음 라이선스·관련 고지·NOTICE 유지, 수정 표시. 특허 허락과 특허 소송 시 종료 조항
BSD-2-Clause ↗ 가능 가능 소스 제공 의무 없음 소스 또는 바이너리의 문서·자료에 저작권·조건·면책 문구 유지
BSD-3-Clause ↗ 가능 가능 소스 제공 의무 없음 BSD-2 조건 + 저작권자·기여자 이름을 허락 없이 홍보·보증에 사용 금지
ISC ↗ 가능 가능 소스 제공 의무 없음 모든 복사본에 저작권·허락 문구 유지
GPL-2.0 ↗ 가능 GPL 조건으로 가능 배포 시 해당 프로그램·파생물의 대응 소스 제공 GPL로 배포, 저작권·라이선스·변경 고지 유지. 단순 별도 묶음은 적용 범위에서 제외
GPL-3.0 ↗ 가능 GPL 조건으로 가능 배포 시 해당 프로그램·파생물의 대응 소스 제공 GPL로 배포, 고지·수정 표시. 특허 조항, 해당 소비자 제품에는 수정본 설치 정보도 제공
LGPL-2.1 ↗ 가능 LGPL 조건으로 가능 라이브러리 배포 시 해당 라이브러리·수정본의 소스 제공 앱은 다른 라이선스로 연결 가능. 라이브러리 교체·재연결 및 수정 디버깅용 역공학 허용 등 필요
LGPL-3.0 ↗ 가능 LGPL 조건으로 가능 라이브러리 배포 시 해당 라이브러리·수정본의 소스 제공 앱은 다른 라이선스로 연결 가능. 교체·재연결·수정 디버깅용 역공학 보장, 해당 제품은 설치 정보 제공
MPL-2.0 ↗ 가능 MPL 조건으로 가능 배포 시 MPL 적용 파일과 그 수정본의 소스 제공 파일 단위로 MPL 유지·고지. MPL 코드가 없는 별도 파일은 다른 라이선스로 결합 가능
AGPL-3.0 ↗ 가능 AGPL 조건으로 가능 배포 시 대응 소스 제공. 수정본의 원격 사용자에게도 무료 소스 접근 제공 GPL-3.0과 유사한 배포 조건 + 수정한 프로그램의 네트워크 이용자에게 소스 취득 방법 안내
Unlicense ↗ 가능 가능 소스 제공 의무 없음 저작권을 퍼블릭 도메인에 기증. 법이 허용하는 범위와 원문 확인
CC0-1.0 ↗ 가능 가능 소스 제공 의무 없음 저작권 등 포기, 효력이 없으면 대체 허락. 특허·상표권은 포함하지 않음
GPL·LGPL·AGPL의 -only는 해당 버전만, -or-later는 해당 버전 또는 이후 버전을 선택할 수 있다는 뜻입니다. 버전과 접미사가 없는 표기만으로 이후 버전 허용을 판단하지 마세요. 소스 제공은 조건에 따른 수령인·이용자 대상이며 항상 인터넷 전체 공개를 뜻하지는 않습니다.
GitHub의 라이선스 판별·표시 안내 ↗; 식별 미확인·원문 확인 필요
nomorevibe 등록: 9월 11일; 저장소 생성 2026년 1월

언어 구성

Rust 99.8%
Swift 0.1%
Shell 0.1%

업데이트0건

전체

아직 감지된 업데이트가 없습니다. GitHub 릴리스가 나오면 여기에 보입니다.

최신순

···

GitHub 이슈 수신 설정

로그인 상태를 확인하는 중입니다.

댓글을 불러오는 중입니다.

gunb.ai

gunb.ai는 시스템에 구조 설명을 제공하고 검증해 기계 부품을 도출합니다

원문 보기

Modern systems are full of hand-written translations. gunbc gives the system one structural description, checks it, and derives the mechanical pieces. When the description is incomplete, the compiler

개발 도구Rust · SwiftGitHub @gunb-ai온라인운영자 미확인

제품 방문하기 GitHub

써 보셨어요? 한 번만 눌러 주세요. 로그인은 필요 없어요.

가동 상태: 온라인; 30일 가동률 100%
최근 코드 업데이트: 10월 27일; 활성 저장소
최신 버전: 없음
기여자: 5명; 포크 0
라이선스: 라이선스 안내
주요 라이선스 조건의 요약입니다. 실제 이용 조건은 저장소의 LICENSE와 파일별 고지·추가 조건을 확인하세요.
이 제품에 표시된 정보
저장소 라이선스를 식별하지 못했습니다. 자동 판별 실패는 이용 허락을 뜻하지 않으며 메이커 선언도 별도 확인이 필요합니다.
GitHub 자동 판별 · 저장소 대표 라이선스
Other
SPDX 미확인 · 원문 확인 필요
저장소 관측은 파일별 조건·복수 라이선스·의존성 전체를 확인한 결과가 아닙니다.
관측 시점의 정보 · 마지막 수집 성공 10월 27일 15:06 · 마지막 수집 실패 9월 25일 19:57 (한국 시각)
저장소에서 LICENSE 확인 ↗
주요 라이선스 비교
표에 나온 라이선스는 각 조건을 지키면 상용 이용이 가능합니다. 복수·커스텀·미확인 라이선스의 허용 범위는 원문을 확인해야 합니다. 좁은 화면에서는 표를 좌우로 밀어 볼 수 있습니다.
주요 라이선스의 상용 이용, 수정·재배포, 소스 제공 의무와 핵심 조건. 라이선스 이름은 공식 원문 링크입니다.
라이선스 · 원문 상용 이용 수정·재배포 소스 제공 의무 핵심 조건
MIT ↗ 가능 가능 소스 제공 의무 없음 복사본·상당 부분에 저작권·허락 문구 유지
Apache-2.0 ↗ 가능 가능 소스 제공 의무 없음 라이선스·관련 고지·NOTICE 유지, 수정 표시. 특허 허락과 특허 소송 시 종료 조항
BSD-2-Clause ↗ 가능 가능 소스 제공 의무 없음 소스 또는 바이너리의 문서·자료에 저작권·조건·면책 문구 유지
BSD-3-Clause ↗ 가능 가능 소스 제공 의무 없음 BSD-2 조건 + 저작권자·기여자 이름을 허락 없이 홍보·보증에 사용 금지
ISC ↗ 가능 가능 소스 제공 의무 없음 모든 복사본에 저작권·허락 문구 유지
GPL-2.0 ↗ 가능 GPL 조건으로 가능 배포 시 해당 프로그램·파생물의 대응 소스 제공 GPL로 배포, 저작권·라이선스·변경 고지 유지. 단순 별도 묶음은 적용 범위에서 제외
GPL-3.0 ↗ 가능 GPL 조건으로 가능 배포 시 해당 프로그램·파생물의 대응 소스 제공 GPL로 배포, 고지·수정 표시. 특허 조항, 해당 소비자 제품에는 수정본 설치 정보도 제공
LGPL-2.1 ↗ 가능 LGPL 조건으로 가능 라이브러리 배포 시 해당 라이브러리·수정본의 소스 제공 앱은 다른 라이선스로 연결 가능. 라이브러리 교체·재연결 및 수정 디버깅용 역공학 허용 등 필요
LGPL-3.0 ↗ 가능 LGPL 조건으로 가능 라이브러리 배포 시 해당 라이브러리·수정본의 소스 제공 앱은 다른 라이선스로 연결 가능. 교체·재연결·수정 디버깅용 역공학 보장, 해당 제품은 설치 정보 제공
MPL-2.0 ↗ 가능 MPL 조건으로 가능 배포 시 MPL 적용 파일과 그 수정본의 소스 제공 파일 단위로 MPL 유지·고지. MPL 코드가 없는 별도 파일은 다른 라이선스로 결합 가능
AGPL-3.0 ↗ 가능 AGPL 조건으로 가능 배포 시 대응 소스 제공. 수정본의 원격 사용자에게도 무료 소스 접근 제공 GPL-3.0과 유사한 배포 조건 + 수정한 프로그램의 네트워크 이용자에게 소스 취득 방법 안내
Unlicense ↗ 가능 가능 소스 제공 의무 없음 저작권을 퍼블릭 도메인에 기증. 법이 허용하는 범위와 원문 확인
CC0-1.0 ↗ 가능 가능 소스 제공 의무 없음 저작권 등 포기, 효력이 없으면 대체 허락. 특허·상표권은 포함하지 않음
GPL·LGPL·AGPL의 -only는 해당 버전만, -or-later는 해당 버전 또는 이후 버전을 선택할 수 있다는 뜻입니다. 버전과 접미사가 없는 표기만으로 이후 버전 허용을 판단하지 마세요. 소스 제공은 조건에 따른 수령인·이용자 대상이며 항상 인터넷 전체 공개를 뜻하지는 않습니다.
GitHub의 라이선스 판별·표시 안내 ↗; 식별 미확인·원문 확인 필요
nomorevibe 등록: 9월 11일; 저장소 생성 2026년 1월

언어 구성

Rust 99.8%
Swift 0.1%
Shell 0.1%

업데이트0건

전체

아직 감지된 업데이트가 없습니다. GitHub 릴리스가 나오면 여기에 보입니다.

최신순

···

GitHub 이슈 수신 설정

로그인 상태를 확인하는 중입니다.

댓글을 불러오는 중입니다.

gunb.ai

라이선스 안내

이 제품에 표시된 정보

주요 라이선스 비교

언어 구성

업데이트0건

댓글

gunb.ai

라이선스 안내

이 제품에 표시된 정보

주요 라이선스 비교

언어 구성

업데이트0건

댓글

이 프로젝트의 운영자인가요?

소개

README

README

README

주요 라이선스의 상용 이용, 수정·재배포, 소스 제공 의무와 핵심 조건. 라이선스 이름은 공식 원문 링크입니다.
라이선스 · 원문	상용 이용	수정·재배포	소스 제공 의무	핵심 조건
MIT ↗	가능	가능	소스 제공 의무 없음	복사본·상당 부분에 저작권·허락 문구 유지
Apache-2.0 ↗	가능	가능	소스 제공 의무 없음	라이선스·관련 고지·NOTICE 유지, 수정 표시. 특허 허락과 특허 소송 시 종료 조항
BSD-2-Clause ↗	가능	가능	소스 제공 의무 없음	소스 또는 바이너리의 문서·자료에 저작권·조건·면책 문구 유지
BSD-3-Clause ↗	가능	가능	소스 제공 의무 없음	BSD-2 조건 + 저작권자·기여자 이름을 허락 없이 홍보·보증에 사용 금지
ISC ↗	가능	가능	소스 제공 의무 없음	모든 복사본에 저작권·허락 문구 유지
GPL-2.0 ↗	가능	GPL 조건으로 가능	배포 시 해당 프로그램·파생물의 대응 소스 제공	GPL로 배포, 저작권·라이선스·변경 고지 유지. 단순 별도 묶음은 적용 범위에서 제외
GPL-3.0 ↗	가능	GPL 조건으로 가능	배포 시 해당 프로그램·파생물의 대응 소스 제공	GPL로 배포, 고지·수정 표시. 특허 조항, 해당 소비자 제품에는 수정본 설치 정보도 제공
LGPL-2.1 ↗	가능	LGPL 조건으로 가능	라이브러리 배포 시 해당 라이브러리·수정본의 소스 제공	앱은 다른 라이선스로 연결 가능. 라이브러리 교체·재연결 및 수정 디버깅용 역공학 허용 등 필요
LGPL-3.0 ↗	가능	LGPL 조건으로 가능	라이브러리 배포 시 해당 라이브러리·수정본의 소스 제공	앱은 다른 라이선스로 연결 가능. 교체·재연결·수정 디버깅용 역공학 보장, 해당 제품은 설치 정보 제공
MPL-2.0 ↗	가능	MPL 조건으로 가능	배포 시 MPL 적용 파일과 그 수정본의 소스 제공	파일 단위로 MPL 유지·고지. MPL 코드가 없는 별도 파일은 다른 라이선스로 결합 가능
AGPL-3.0 ↗	가능	AGPL 조건으로 가능	배포 시 대응 소스 제공. 수정본의 원격 사용자에게도 무료 소스 접근 제공	GPL-3.0과 유사한 배포 조건 + 수정한 프로그램의 네트워크 이용자에게 소스 취득 방법 안내
Unlicense ↗	가능	가능	소스 제공 의무 없음	저작권을 퍼블릭 도메인에 기증. 법이 허용하는 범위와 원문 확인
CC0-1.0 ↗	가능	가능	소스 제공 의무 없음	저작권 등 포기, 효력이 없으면 대체 허락. 특허·상표권은 포함하지 않음

주요 라이선스의 상용 이용, 수정·재배포, 소스 제공 의무와 핵심 조건. 라이선스 이름은 공식 원문 링크입니다.
라이선스 · 원문	상용 이용	수정·재배포	소스 제공 의무	핵심 조건
MIT ↗	가능	가능	소스 제공 의무 없음	복사본·상당 부분에 저작권·허락 문구 유지
Apache-2.0 ↗	가능	가능	소스 제공 의무 없음	라이선스·관련 고지·NOTICE 유지, 수정 표시. 특허 허락과 특허 소송 시 종료 조항
BSD-2-Clause ↗	가능	가능	소스 제공 의무 없음	소스 또는 바이너리의 문서·자료에 저작권·조건·면책 문구 유지
BSD-3-Clause ↗	가능	가능	소스 제공 의무 없음	BSD-2 조건 + 저작권자·기여자 이름을 허락 없이 홍보·보증에 사용 금지
ISC ↗	가능	가능	소스 제공 의무 없음	모든 복사본에 저작권·허락 문구 유지
GPL-2.0 ↗	가능	GPL 조건으로 가능	배포 시 해당 프로그램·파생물의 대응 소스 제공	GPL로 배포, 저작권·라이선스·변경 고지 유지. 단순 별도 묶음은 적용 범위에서 제외
GPL-3.0 ↗	가능	GPL 조건으로 가능	배포 시 해당 프로그램·파생물의 대응 소스 제공	GPL로 배포, 고지·수정 표시. 특허 조항, 해당 소비자 제품에는 수정본 설치 정보도 제공
LGPL-2.1 ↗	가능	LGPL 조건으로 가능	라이브러리 배포 시 해당 라이브러리·수정본의 소스 제공	앱은 다른 라이선스로 연결 가능. 라이브러리 교체·재연결 및 수정 디버깅용 역공학 허용 등 필요
LGPL-3.0 ↗	가능	LGPL 조건으로 가능	라이브러리 배포 시 해당 라이브러리·수정본의 소스 제공	앱은 다른 라이선스로 연결 가능. 교체·재연결·수정 디버깅용 역공학 보장, 해당 제품은 설치 정보 제공
MPL-2.0 ↗	가능	MPL 조건으로 가능	배포 시 MPL 적용 파일과 그 수정본의 소스 제공	파일 단위로 MPL 유지·고지. MPL 코드가 없는 별도 파일은 다른 라이선스로 결합 가능
AGPL-3.0 ↗	가능	AGPL 조건으로 가능	배포 시 대응 소스 제공. 수정본의 원격 사용자에게도 무료 소스 접근 제공	GPL-3.0과 유사한 배포 조건 + 수정한 프로그램의 네트워크 이용자에게 소스 취득 방법 안내
Unlicense ↗	가능	가능	소스 제공 의무 없음	저작권을 퍼블릭 도메인에 기증. 법이 허용하는 범위와 원문 확인
CC0-1.0 ↗	가능	가능	소스 제공 의무 없음	저작권 등 포기, 효력이 없으면 대체 허락. 특허·상표권은 포함하지 않음

gunb.ai

언어 구성

업데이트0건

댓글

개발 도구 분야에서 지금 뜨는

gunb.ai

언어 구성

업데이트0건

댓글

개발 도구 분야에서 지금 뜨는

이 프로젝트의 운영자인가요?

소개

README

README

README