플랫폼
프로그래밍 언어
TypeScript
C++
C
Go
Rust
C#
Shell
Java
HTML
Lua
PHP
Jupyter Notebook
Ruby
Kotlin
Swift
CSS
Dart
Emacs Lisp
Vim Script
SCSS
Vue
Haskell
Makefile
Scala
Svelte
Perl
Clojure
Batchfile
Dockerfile
Objective-C
Nix
GDScript
Assembly
TeX
Common Lisp
R
Elixir
Solidity
Nim
Markdown
Zig
HCL
Logos
AutoHotkey
Jinja
Julia
Pascal
OCaml
Scheme
JavaScript
KO
RU
DE
ZH
ES
PT
MS
FR
FA
KO
TR
PL
CS
SV
SK
BG
SL
DA
HR
AR
HU
NL
IND
IT
EL
VI
TH
HE
Home
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"