平台
编程语言
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
ZH
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
拓扑概念和其他事物的逻辑表现。这个版本采用了统一的观点..
172
GNU General Public License v3.0 only
agda2hs
将 Agda 代码编译为可读的 Haskell。
133
MIT
Agda
同伦类型理论简介的 Agda 形式化(由 HoTT-Intro 编写)。
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
Premonoid 类别的 Agda 编码。
3
agda-life
康威在阿格达的生命游戏..
0
BSD 3-clause "New" or "Revised"