Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for lambda calculus formality
formality
x
lambda-calculus
x
3 search results found
Kind
⭐
3,420
A next-gen functional language
Formality Javascript
⭐
72
An implementation of the Formality language in JavaScript
Formality Core
⭐
35
Specification of the Formality proof and programming language
Related Searches
Haskell Lambda Calculus (136)
Functional Programming Lambda Calculus (58)
Javascript Lambda Calculus (50)
Language Lambda Calculus (44)
Programming Language Lambda Calculus (37)
Lambda Calculus Type Theory (19)
Type System Lambda Calculus (14)
Lambda Calculus Dependent Types (11)
Lambda Calculus Theorem Prover (5)
Functional Programming Formality (4)
1-3 of 3 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.