Andrew Swan
GitHub

Andrew Swan

@awswan

View GitHub Profile
Location Ljubljana
Company University of Ljubljana
Followers 19
Following 0
Public Repositories 16
Expertise

Skills & Technologies

Agda Haskell Emacs Lisp
GitHub Work

Projects & Repositories

Recent public projects and repositories from this profile.

cubical

Agda

An experimental library for Cubical Agda

⭐ 0 Forks: 0
Agda View Project

agda

Haskell

Agda is a dependently typed programming language / interactive theorem prover.

⭐ 0 Forks: 0
Haskell View Project

higher-computability

Agda

No project description available.

⭐ 8 Forks: 0
Agda View Project

untruncated-cw

Agda

No project description available.

⭐ 0 Forks: 0
Agda View Project

llm

Emacs Lisp

A package abstracting llm capabilities for emacs.

⭐ 0 Forks: 0
Emacs Lisp View Project

nielsenschreier-hott

Agda

A formalisation of the finite index Nielsen-Schreier theorem in homotopy type theory.

⭐ 4 Forks: 0
Agda View Project
← Back to Talent Open GitHub Profile ↗