silt
Dependent type lang
A dependently typed functional programming language that compiles to native code through LLVM.
An in-progress fast, dependently typed, functional programming language implemented in Swift.
240 stars
12 watching
13 forks
Language: Swift
last commit: over 5 years ago
Linked from 1 awesome list
compilerdependent-typesfunctional-programmingswift
learn-anything/programming-languagesRelated projects:
| Repository | Description | Stars |
|---|---|---|
 ditto/ditto | An experimentally designed dependently typed programming language with a focus on type checking and research | 173 |
 pikelet-lang/pikelet | A systems programming language with first-class types, designed to support dependent records and types. | 610 |
 linkdd/letlang | A compiler for a functional language with a powerful type system | 165 |
 liam-ilan/crumb | An interpreted language designed to support functional programming with features like dynamic typing and garbage collection. | 417 |
 st3v3nmw/morph | A functional programming language with strong type system and lazy evaluation, aiming to provide a powerful and expressive platform for building concurrent and parallel applications. | 2 |
 finkel-lang/finkel | A statically typed, purely functional programming language implemented in Haskell using S-expression syntax | 171 |
 ditto-lang/ditto | A language designed to embed itself in existing toolchains and ecosystems | 62 |
 ollef/sixten | An experimental functional programming language with minimal indirections and direct access to memory layout | 761 |
 dflemstr/tin | A statically structurally typed JIT-compiled programming language designed to be easily embedded in other programs. | 63 |
 andreasabel/miniagda | A research prototype of a dependently typed language with sized types and variances | 104 |
 zesterer/tao | A statically-typed functional language with extensive type system features and optimization techniques, aimed at supporting totality, optimization, learning, and compiler development. | 1,092 |
| zesterer/atto | A minimalist programming language with an interpreter and core library for evaluating recursive expressions | 151 |
 thesephist/ink | A minimalist programming language with functional style, designed for readability and expressiveness. | 564 |
 informalsystems/quint | A specification language with type checking and tooling based on temporal logic of actions | 827 |
 tadeuzagallo/verve-lang | A functional programming language designed to ease the transition from object-oriented paradigms | 345 |