Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for programming agda
agda
x
programming
x
19 search results found
Agda
⭐
2,281
Agda is a dependently typed programming language / interactive theorem prover.
Learn Tt
⭐
1,307
A collection of resources for learning type theory and type theory adjacent fields.
Cedille
⭐
305
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
Silt
⭐
204
An in-progress fast, dependently typed, functional programming language implemented in Swift.
Cs410 14
⭐
61
being the materials for CS410 Advanced Functional Programming in the 2014-15 session
Aopa
⭐
61
Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
Spire
⭐
53
The Spire Programming Language
Thinking Dumps
⭐
30
This repo keeps track of my codes, answers and thinkings when exploring books.
Cain
⭐
23
Category theory applied to functional programming (undergraduate project)
Popl19 Tutorial
⭐
23
Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais
B522 Pl Foundations
⭐
20
Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University
Ooagda
⭐
19
Interactive and object-oriented programming in Agda using coinductive types
Agda Ecosystem
⭐
18
Ohrid19 Agda
⭐
13
Material for the Agda course at the EUTYPES Summer School '19 in Ohrid
Ternary.agda
⭐
11
An Agda library for programming with ternary relations
Proposal Agda Tutorial
⭐
9
Proposal for an Agda tutorial
Abel
⭐
8
Category theory applied to functional programming
Awesome Agda Programming
⭐
7
Awesome Agda Programming
Spire
⭐
6
The Spire Programming Language
Related Searches
Python Programming (3,002)
Javascript Programming (1,991)
C Plus Plus Programming (1,812)
Java Programming (1,806)
C Programming (1,543)
Course Programming (949)
Programming Book (889)
Html Programming (772)
Programming Algorithms (718)
Haskell Programming (549)
1-19 of 19 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.