Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for swift dependent types
dependent-types
x
swift
x
3 search results found
Validated
⭐
604
A Swift μ-Library for Somewhat Dependent Types
Silt
⭐
204
An in-progress fast, dependently typed, functional programming language implemented in Swift.
Kara
⭐
37
An experimental functional programming language with dependent types, inspired by Swift and Idris.
Related Searches
Swift Xcode (5,205)
Swift Objective C (1,993)
Swift Apple (1,960)
Swift Swiftui (1,848)
Swift Animation (1,531)
Swift Ios App (1,186)
Swift Iphone (1,096)
Swift Rxswift (1,061)
Swift Tvos (996)
Swift Watchos (843)
1-3 of 3 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.