기라르의 초월적 구문 구현
초월적 구문은 논리적 추상화를 위한 방법으로, '별 해석'이라는 기본 언어를 사용합니다. 이 언어의 객체는 '별자리'로 불리며, 상위 언어인 '스텔로젠'에서 사용됩니다. 스텔로젠은 프로그램과 타입을 확장하는 메타프로그래밍 언어입니다. 별 해석은 논리 프로그래밍의 일반화된 모델로, 논리-무관적이며 비동기적입니다. 이 프로젝트는 현재 개발 중이며, 사용자는 바이너리를 다운로드하거나 소스에서 빌드할 수 있습니다. 흥미로운 점은 이 모델이 DNA 컴퓨팅의 유연한 타일을 일반화한 것처럼 작동한다는 것입니다.