Awesome Open Source

Programming Languages

Search results for calculus agda

13 search results found

Cedille ⭐ 305

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

Nano Agda ⭐ 64

Tiny type-checker with dependent types

Gradual Typing In Agda ⭐ 51

Formalizations of Gradually Typed Languages in Agda

System F Agda ⭐ 44

A formalization of the polymorphic lambda calculus extended with iso-recursive types

Typing Linear Pi ⭐ 26

Typing the linear pi calculus in Agda

(λ) Category theory and lambda calculus, Bachelor's thesis

Agda Nbe ⭐ 21

Formalizing nbe in agda

B522 Pl Foundations ⭐ 20

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

Agda formalization of Intuitionistic Propositional Logic

Tt In Cagda ⭐ 17

Simply typed lambda calculus in cubical agda

Fpaboveus ⭐ 10

Este repósitório irá te ensinar programação funcional do zero com Haskell :) também falaremos um pouco de Prolog e Agda aqui.

System Lf ⭐ 6

linear logic and system f have a baby

Coherence ⭐ 5

Proof of coherence for the initial CCC

Related Searches

Lambda Functions Calculus (377)

Haskell Calculus (190)

Python Calculus (176)

Mathematics Calculus (170)

Types Agda (76)

Haskell Agda (72)

Programming Calculus (65)

Agda Type Theory (44)

Programming Language Calculus (40)

Emacs Agda (29)

1-13 of 13 search results

Privacy | About | Terms | Follow Us On Twitter

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