Awesome Open Source

Programming Languages

Search results for agda dependent types

dependent-types x

21 search results found

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

Cedille ⭐ 305

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

Hott Uf Agda Lecture Notes ⭐ 204

Lecture notes on univalent foundations of mathematics with Agda

An in-progress fast, dependently typed, functional programming language implemented in Swift.

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

Nano Agda ⭐ 64

Tiny type-checker with dependent types

Agda From Nothing ⭐ 62

A workshop on learning Agda with minimal prerequisites.

Placeholder for the OwO compiler

Why Dependent Types Matter ⭐ 61

Companion code for "Why Dependent Types Matter" paper.

Algebra of Programming in Agda: Dependent Types for Relational Program Derivation

Towards changing things and see if it proofs

Meta Cedille ⭐ 52

Minimalistic dependent type theory with syntactic metaprogramming

(WIP) Dependently-typed programming language with Agda style dependent pattern matching

A TACtic library for Agda

Agda Algebras ⭐ 24

The Agda Universal Algebra Library (html docs available at the url below)

Agda Ecosystem ⭐ 18

Agda From Nothing 2017 ⭐ 11

Agda from Nothing: Order in the Types

Ualib.github.io ⭐ 7

The Agda Universal Algebra Library (UALib) is a library of types and programs (theorems and proofs) that formalizes the foundations of universal algebra in dependent type theory using the Agda proof assistant language.

Awesome Agda Programming ⭐ 7

Awesome Agda Programming

Convex Optimization using Dependent Types and Matrix Free Formulations

Dep Typed Wbl Heaps ⭐ 6

Verifying weight biased leftist heaps using dependent types in Agda

Related Searches

Types Agda (76)

Haskell Agda (71)

Haskell Dependent Types (62)

Agda Type Theory (43)

Programming Language Dependent Types (36)

Language Dependent Types (33)

Emacs Agda (29)

Calculus Agda (29)

Dependent Types Type Theory (28)

1-21 of 21 search results

Privacy | About | Terms | Follow Us On Twitter

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