Awesome Open Source

Programming Languages

Search results for types agda

24 search results found

Learn Tt ⭐ 1,307

A collection of resources for learning type theory and type theory adjacent fields.

Hott Agda ⭐ 319

Development of homotopy type theory in Agda

Homotopy Type Theory Course ⭐ 214

A course on homotopy theory and type theory, taught jointly with Jaka Smrekar

Hott Intro ⭐ 169

An introductory course to Homotopy Type Theory

Agda Mode Vscode ⭐ 158

agda-mode on VS Code

A SuperCompiler for Martin-Löf's Type Theory

Agda formalisation of the Introduction to Homotopy Type Theory

Latex Unicoder.vim ⭐ 85

A plugin to type Unicode chars in Vim, using their LaTeX names.

Nano Agda ⭐ 64

Tiny type-checker with dependent types

Organization and planning for the Initial Types Club

Agda From Nothing ⭐ 62

A workshop on learning Agda with minimal prerequisites.

Gentle Intro To Reflection ⭐ 62

A slow-paced introduction to reflection in Agda. ---Tactics!

Why Dependent Types Matter ⭐ 61

Companion code for "Why Dependent Types Matter" paper.

Agda Mode ⭐ 58

agda-mode on Atom

The Spire Programming Language

Cart Cube ⭐ 49

Cartesian Cubical Type Theory

Logrel Mltt ⭐ 40

A Logical Relation for Martin-Löf Type Theory in Agda

System F Omega ⭐ 37

System F-omega normalization by hereditary substitution in Agda

The multimode presheaf proof-assistant

Agda Sizedio ⭐ 31

IO using sized types and copatterns

Homotopy ⭐ 24

My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)

Type Theory with Indexed Equality

Initiality ⭐ 23

A formalized proof of a version of the initiality conjecture

A library for doing generic programming in Agda

Dependently typed Algorithm M and friends

B522 Pl Foundations ⭐ 20

Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University

A formalization of M-types in Agda

Agda Holes ⭐ 18

Agda programming with holes

Agda Ecosystem ⭐ 18

Inference In Agda ⭐ 17

A tutorial on how Agda infers things

Pts Agda ⭐ 17

A formalization of Pure Type Systems (PTS) in Agda

Universe Of Syntax ⭐ 14

A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with all the proofs you could possibly need.

Ohrid19 Agda ⭐ 13

Material for the Agda course at the EUTYPES Summer School '19 in Ohrid

Agda Relation Algebra ⭐ 12

Relational algebra implementation in Agda with simple bindings to SQLITE

Agda From Nothing 2017 ⭐ 11

Agda from Nothing: Order in the Types

Equality ⭐ 10

Plutus Metatheory ⭐ 10

Mechanised meta theory for Plutus Core (DEPRECATED - MOVED to plutus)

Preordertt ⭐ 10

Experiments with preordered set models of (directed) type theories

F Omega Int Agda ⭐ 9

F-omega with interval kinds mechanized in Agda

Proposal Agda Tutorial ⭐ 9

Proposal for an Agda tutorial

Inductive_types ⭐ 8

Constructing Simple and Mutual Inductive Types in Agda.

Trust But Verify ⭐ 7

Can CVC4 LFSC proofs be transliterated to Agda?

Awesome Agda Programming ⭐ 7

Awesome Agda Programming

Definitional Session ⭐ 7

Constructingii ⭐ 7

Constructing Inductive-Inductive types in Cubical Type Theory

Dep Typed Wbl Heaps ⭐ 6

Verifying weight biased leftist heaps using dependent types in Agda

An Agda formalisation accompanying the examples given in Section 7 of the paper "Handling fibred algebraic effects".

Generic Syntax ⭐ 6

Library implementation of "Generic description of well-scoped, well-typed syntaxes"

Indind Agda ⭐ 6

Related Searches

Javascript Types (8,178)

Typescript Types (2,606)

Python Types (2,536)

Php Types (1,921)

Java Types (1,598)

C Plus Plus Types (1,282)

Golang Types (1,257)

C Sharp Types (1,177)

Plugin Types (1,152)

Json Types (1,128)

1-24 of 24 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.