linear.agda

(★ 36)

A library and case-study for linear, intrinsically-typed interpreters in Agda

linear.agda 최신버젼 다운로드

최종 버전 다운로드 (.zip)

오늘의 추천 프로젝트

hermes-agent ★ 233,851

당신과 함께 성장하는 agent

Python
flutter ★ 178,564

Flutter는 모바일 및 그 이상의 플랫폼을 위한 아름다운 앱을 쉽고 빠르게 구축할 수 있게 해줍니다.

Dart
Deep-Live-Cam ★ 96,036

단 한 장의 이미지로 실시간 얼굴 스와프와 원클릭 비디오 딥페이크를 구현합니다.

Python
storybook ★ 90,890

Storybook은 독립된 환경에서 UI 컴포넌트를 빌드, 문서화, 테스트하기 위한 업계 표준 워크숍입니다.

TypeScript
opencode ★ 199,829

오픈 소스 코딩 에이전트입니다.

TypeScript
agent-skills ★ 88,905

AI 코딩 에이전트를 위한 프로덕션 등급의 엔지니어링 기술.

JavaScript
// repository documentation