Type Checker
PROVENLanguage
freelang-v11-1에서 발굴됨
저장소 증거 (20개)
ClaudeScriptpartial45/45 tests passing ✅ (Validator 18 + TypeChecker 12 + CodeG
test_result:9045/45 tests passing ✅ (Validator 18 + TypeChecker 12 + CodeGenerator 15)
test_result:9045/45 tests passed (Validator 18 + TypeChecker 12 + CodeGenerator 15)
test_result:9045/45 tests pass ✅**
commit_feat:70feat: add 30 files
firpartial[lexer.fl] 실질 구현 확인: Lexer 구현
test_result:90104/104 PASS)
test_result:90104/104 PASS** ✅
test_result:9017/17 test PASS → "IR은 실행 가능한 언어"
test_result:9024/24 PASS)
freelang-finalpartial[e2e-self-hosting-compiler.js] 실질 구현 확인: Self-Hosting 컴파일러
test_result:9088/88 통과) - 프로덕션 배포 준비 완료
test_result:9088/90 통과)
file_content:75[e2e-self-hosting-compiler.js] 실질 구현 확인: Self-Hosting 컴파일러
file_content:75[test-lexer-simple.ts] 실질 구현 확인: Lexer 구현
freelang-nexuspartial37/37 PASS ✅
test_result:9037/37 PASS ✅
test_result:9016/16 PASS)
test_result:90637/637 PASS (L1 자가호스팅 완성)
test_result:9016/16 PASS)
zlang-projectpartial[test_generic_poc.cpp] 실질 구현 확인: Type Checker
test_result:9045/46 통과 (97.8%)
file_content:75[test_generic_poc.cpp] 실질 구현 확인: Type Checker
file_content:75[test_module.cpp] 실질 구현 확인: LLVM 백엔드 구현
commit_feat:70fix(zlang): While 루프 + Assignment 완전 구현 - AST 기반 Visitor 패턴
5.0-design-cognition-mappingpartialscore:80
readme_kw:30[type system] …, "FFI", "Type System" | | 파일 경로 | 도메인 개념 | "memory…
FreeLang-mainpartial[demo_codegen.ts] 실질 구현 확인: IR / Bytecode 생성
file_content:75[demo_codegen.ts] 실질 구현 확인: IR / Bytecode 생성
commit_feat:70chore: KPM 통합 - @freelang/compiler@6.0.0으로 패키지 등록
commit_feat:70docs: Phase 7 최종 완료 보고서
commit_feat:70feat: Phase 7 - 완전한 C Code Generator 구현 및 데모
FreeLang_v2_1partialdocs: FreeLang Python Bootstrap 전략서 작성
commit_feat:70docs: FreeLang Python Bootstrap 전략서 작성
commit_feat:70feat: FreeLang + Python 통합 시작
readme_impl:60- [x] 프로젝트 디렉토리 생성
readme_impl:60- [x] 필수 파일 복사 (lexer, token, ast)
devops-ai-agentpartialdocs: IMPROVEMENTS_SUMMARY 추가
commit_feat:70docs: IMPROVEMENTS_SUMMARY 추가
readme_kw:30[type system] … FreeLang Type System - Variables are immutable (no…
readme_kw:30[mmu] …bles are immutable (no reassignment with `l…
freelang-cpartialscore:80
readme_kw:30[lexer] …────┐ │ Lexer → Parser → Semantic Analyzer …
readme_kw:30[code generation] … (Code Generation) │ └───────────…
readme_kw:30[type inference] …ping with type inference - ✅ **Functions**: First-clas…
readme_kw:30[jit compiler] …ne (VM) / JIT Compiler │ │ (Runt…
freelang-hot-reloadpartial[test-lexer-simple.ts] 실질 구현 확인: Lexer 구현
file_content:75[test-lexer-simple.ts] 실질 구현 확인: Lexer 구현
commit_feat:70fix: Native-Hot-Reload - persistent:true 버그픽스 + rename 이벤트 추가
commit_feat:70feat: v2 통합 커밋 - Auth/Validator/Hot-Reload/ORM 모듈 추가
commit_feat:70feat: Native-Rate-Shield - Token Bucket @rate_limit 어노테이션 완성
freelang-nativepartialchore(p3): recur.fl test case for closure/rest analysis
commit_feat:70chore(p3): recur.fl test case for closure/rest analysis
commit_feat:70build: verify-core, verify-full, release 명령 추가
commit_feat:70build(p2): C backend pipeline official (cmdCompileC)
commit_feat:70build(p1): Makefile parity-test + verify + release gate
freelang-native-csp-shieldpartial[test-lexer-simple.ts] 실질 구현 확인: Lexer 구현
file_content:75[test-lexer-simple.ts] 실질 구현 확인: Lexer 구현
commit_feat:70fix: Native-Hot-Reload - persistent:true 버그픽스 + rename 이벤트 추가
commit_feat:70feat: v2 통합 커밋 - Auth/Validator/Hot-Reload/ORM 모듈 추가
commit_feat:70feat: Native-Rate-Shield - Token Bucket @rate_limit 어노테이션 완성
freelang-native-rate-shieldpartial[test-lexer-simple.ts] 실질 구현 확인: Lexer 구현
file_content:75[test-lexer-simple.ts] 실질 구현 확인: Lexer 구현
commit_feat:70feat: v2 통합 커밋 - Auth/Validator/Hot-Reload/ORM 모듈 추가
commit_feat:70feat: Native-Rate-Shield - Token Bucket @rate_limit 어노테이션 완성
commit_feat:70feat: Native-Web-Forge v1.0 - Next.js 완전 대체 SSG/SSR 엔진
freelang-native-request-streamerpartial[test-lexer-simple.ts] 실질 구현 확인: Lexer 구현
file_content:75[test-lexer-simple.ts] 실질 구현 확인: Lexer 구현
commit_feat:70fix: Native-Hot-Reload - persistent:true 버그픽스 + rename 이벤트 추가
commit_feat:70feat: v2 통합 커밋 - Auth/Validator/Hot-Reload/ORM 모듈 추가
commit_feat:70feat: Native-Rate-Shield - Token Bucket @rate_limit 어노테이션 완성
freelang-native-request-validatorpartial[test-lexer-simple.ts] 실질 구현 확인: Lexer 구현
file_content:75[test-lexer-simple.ts] 실질 구현 확인: Lexer 구현
commit_feat:70fix: Native-Hot-Reload - persistent:true 버그픽스 + rename 이벤트 추가
commit_feat:70feat: v2 통합 커밋 - Auth/Validator/Hot-Reload/ORM 모듈 추가
commit_feat:70feat: Native-Rate-Shield - Token Bucket @rate_limit 어노테이션 완성
freelang-native-web-forgepartial[test-lexer-simple.ts] 실질 구현 확인: Lexer 구현
file_content:75[test-lexer-simple.ts] 실질 구현 확인: Lexer 구현
commit_feat:70feat: v2 통합 커밋 - Auth/Validator/Hot-Reload/ORM 모듈 추가
commit_feat:70feat: Native-Rate-Shield - Token Bucket @rate_limit 어노테이션 완성
commit_feat:70feat: Native-Web-Forge v1.0 - Next.js 완전 대체 SSG/SSR 엔진
freelang-v11partialfix(crypto): dh14-shared — DiffieHellmanGroup에 setPrivateKey
commit_feat:70fix(crypto): dh14-shared — DiffieHellmanGroup에 setPrivateKey 없음 수정 (복구)
commit_feat:70feat(cgc-bin): x86_64 빌드 완성 — 2 버그 수정
commit_feat:70test: claude-hub-fl 도그푸딩 회귀 테스트 (3 케이스)
commit_feat:70docs: 코딩규칙 17절 적용 — SPEC.airc 분리 + 이중 PASS 게이트
freelang-v11-1partialchore: 서브모듈 제거 (fl-infra 참조 삭제)
commit_feat:70chore: 서브모듈 제거 (fl-infra 참조 삭제)
commit_feat:70chore: Gogs 브랜치 인식 강제 갱신
commit_feat:70chore: ARCHIVED — v11.10.0으로 머지 완료 (2026-06-08)
commit_feat:70feat: Phase 113-130 experiments lazy loading (직접 import 제거)
freelang-v2-auth-corepartial[test-lexer-simple.ts] 실질 구현 확인: Lexer 구현
file_content:75[test-lexer-simple.ts] 실질 구현 확인: Lexer 구현
commit_feat:70feat: v2 통합 커밋 - Auth/Validator/Hot-Reload/ORM 모듈 추가
commit_feat:70feat: Native-Rate-Shield - Token Bucket @rate_limit 어노테이션 완성
commit_feat:70feat: Native-Web-Forge v1.0 - Next.js 완전 대체 SSG/SSR 엔진
수동 증거
repoClaudeScript
45/45 PASS
repofreelang-v2-native-state-hydration
발굴됨
repofreelang-native-request-validator
발굴됨
repofreelang-v2-native-validator
발굴됨
repofreelang-native-csp-shield
발굴됨
repofreelang-native-request-streamer
발굴됨
repofreelang-v2-unique-entropier
발굴됨
repofreelang-hot-reload
발굴됨
repov2-freelang-ai-native
발굴됨
repofreelang-v2-auth-core
발굴됨
repofreelang-native-rate-shield
발굴됨
repofreelang-native-web-forge
발굴됨
repo5.0-design-cognition-mapping
score:80
repodevops-ai-agent
score:80
repofreelang-nexus
37/37 PASS ✅
repofreelang-v4-core
score:80
repofreelang-v4-integrated
score:80
repohome-projects
score:80
repofv-lang
feat: stdlib 계획 문서 및 wasm 예제 업데이트
repozlang-project
45/46 통과 (97.8%)
repoClaudeScript
45/45 PASS
repofreelang-native-csp-shield
발굴됨
repov2-freelang-ai-native
발굴됨
repofreelang-v2-native-validator
발굴됨
repofreelang-v2-unique-entropier
발굴됨
repofreelang-native-request-validator
발굴됨
repofreelang-hot-reload
발굴됨
repofreelang-native-request-streamer
발굴됨
repofreelang-v2-native-state-hydration
발굴됨
repofreelang-v2-auth-core
발굴됨
repofreelang-native-web-forge
발굴됨
repofreelang-native-rate-shield
발굴됨
repoClaudeScript
45/45 PASS
repofreelang-native-csp-shield
발굴됨
repofreelang-native-request-streamer
발굴됨
repofreelang-v2-unique-entropier
발굴됨
repofreelang-hot-reload
발굴됨
repofreelang-v2-native-validator
발굴됨
repofreelang-native-request-validator
발굴됨
repov2-freelang-ai-native
발굴됨
repofreelang-v2-native-state-hydration
발굴됨
repofreelang-native-rate-shield
발굴됨
repofreelang-v2-auth-core
발굴됨
repofreelang-native-web-forge
발굴됨
repoClaudeScript
45/45 PASS
repofreelang-v2-native-state-hydration
발굴됨
repofreelang-native-request-streamer
발굴됨
repofreelang-native-csp-shield
발굴됨
repofreelang-hot-reload
발굴됨
repofreelang-v2-unique-entropier
발굴됨
repofreelang-native-request-validator
발굴됨
repov2-freelang-ai-native
발굴됨
repofreelang-v2-native-validator
발굴됨
repofreelang-v2-auth-core
발굴됨
repofreelang-native-rate-shield
발굴됨
repofreelang-native-web-forge
발굴됨