Agda 로 작성된 라이브러리

agda-stdlib

Agda 표준 라이브러리.
  • 517
  • GNU General Public License v3.0

cubical

Cubical Agda를 위한 실험용 라이브러리입니다.
  • 372
  • GNU General Public License v3.0

TypeTopology

토폴로지 개념 등의 논리적 표현. 이 버전은 1가 관점을 채택합니다..
  • 172
  • GNU General Public License v3.0 only

agda2hs

Agda 코드를 읽을 수 있는 Haskell로 컴파일합니다.
  • 133
  • MIT

Agda

Homotopy 유형 이론 소개(HoTT-Intro에 의해)의 Agda 공식화.
  • 108
  • GNU General Public License v3.0 only

agdarsec

Agda의 전체 파서 연결기.
  • 105
  • GNU General Public License v3.0 only

agda-regexp-automata

Agda에서 정규 언어의 형식화: 정규 표현식, 유한 상태 오토마타, 동등성 증명, 펌핑 보조정리 증명..
  • 13

pny1-assignment

유형 수업과 종속 유형을 장황하게 다루는 대학 과제 작성..
  • 12

template-agda

Gitpod(www.gitpod.io)용으로 구성된 Agda 템플릿은 클라우드에서 사전 구축된 임시 개발 환경을 제공합니다.
  • 8
  • MIT

premonoidal

프리모노이드 범주의 Agda 인코딩.
  • 3

agda-life

Conway의 게임 오브 라이프 인 아그다..
  • 0
  • BSD 3-clause "New" or "Revised"