Awesome Open Source

Programming Languages

Search results for programming dependent types

dependent-types x

11 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

Awesome Idris ⭐ 262

𝛌 Awesome Idris resources

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

Path_semantics ⭐ 156

A research project in path semantics, a re-interpretation of functions for expressing mathematics

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

Course materials for Stanford's CS43: Functional Programming Paradigms

The Vitamin programming language

Agda Ecosystem ⭐ 18

Awesome Agda Programming ⭐ 7

Awesome Agda Programming

Misc playground and random stuff

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-11 of 11 search results

Privacy | About | Terms | Follow Us On Twitter

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