silt
by silt-lang
An in-progress fast, dependently typed, functional programming language implemented in Swift.
AI summary
Dependent type lang
A dependently typed functional programming language that compiles to native code through LLVM.
- stars
- 240
- forks
- 13
- watching
- 12
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
ditto/ditto173
Research language
An experimentally designed dependently typed programming language with a focus on type checking and research
Dependent type language
A systems programming language with first-class types, designed to support dependent records and types.
Type-based compiler
A compiler for a functional language with a powerful type system
Functional language
An interpreted language designed to support functional programming with features like dynamic typing and garbage collection.
Functional language
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.
Functional language
A statically typed, purely functional programming language implemented in Haskell using S-expression syntax
Toolchain integrator
A language designed to embed itself in existing toolchains and ecosystems
ollef/sixten759
Functional lang
An experimental functional programming language with minimal indirections and direct access to memory layout
Embedded programming language
A statically structurally typed JIT-compiled programming language designed to be easily embedded in other programs.
Dependent type prototype
A research prototype of a dependently typed language with sized types and variances
zesterer/tao1.1K
Functional language project
A statically-typed functional language with extensive type system features and optimization techniques, aimed at supporting totality, optimization, learning, and compiler development.
Functional lang
A minimalist programming language with an interpreter and core library for evaluating recursive expressions
Functional lang
A minimalist programming language with functional style, designed for readability and expressiveness.
TLA-based spec language
A specification language with type checking and tooling based on temporal logic of actions
Functional lang
A functional programming language designed to ease the transition from object-oriented paradigms
Featured in 1 awesome list
Each link jumps to the spot where the list mentions silt.
