kara-lang / Kara
An experimental functional programming language with dependent types, inspired by Swift and Idris.
☆44Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for Kara
- Swift type checking and semantic analysis for developer tools☆81Updated 2 years ago
- A Prolog-like language as a Swift Embedded Domain Specific Language.☆62Updated 3 years ago
- Build Swift Macros with WebAssembly☆66Updated 7 months ago
- GitHub Action with SwiftWasm toolchain and SDK preinstalled☆17Updated 8 months ago
- OpenCombine helpers for JavaScriptKit/WebAssembly APIs☆32Updated 2 years ago
- Port of Akka in Action examples to Swift Distributed Actors☆23Updated last year
- Access the DOM and other Web APIs from Swift! (Very much a WIP)☆63Updated 6 months ago
- Swift implementation of a Lox interpreter☆49Updated 6 years ago
- The Swift Compiler As a Package☆67Updated 2 months ago
- An operating system written in Swift.☆18Updated this week
- The SwiftWasm book to get you started☆50Updated last month
- Swift library for working with Language Server Protocol (LSP)☆57Updated last week
- SwiftWasm organization blog☆12Updated 5 months ago
- DNS-SD (Bonjour/Zeroconf/Avahi) implementation of the Swift Service Discovery API☆28Updated 4 months ago
- A client/server actor system for Swift distributed actors☆84Updated last week
- A simple swift package that provides a Swift Concurrency equivalent to `@Published`.☆36Updated 2 years ago
- Hummingbird transport for OpenAPI generator☆26Updated last week
- Swift implementation of JMESPath, the JSON query language☆35Updated 3 months ago
- A proof-of-concept project for Swift on Windows with bindings to C#/the CLR.☆41Updated 9 months ago
- A Swift wrapper for io_uring☆22Updated this week
- Swifty interface for the LLVM compiler infrastructure.☆28Updated last month
- A simple self-hosted Swift compiler☆39Updated 5 years ago
- Experimental: Reactive Wasm Web-Components with Embedded Swift☆19Updated last week
- Parser combinator framework written in Swift☆17Updated 7 years ago
- A Swift package providing an easy-to-use interface for concurrently printing HTML to PDF on iOS and macOS.☆17Updated 2 months ago
- Colors is a Swift Package to enable all system colors in SwiftUI trough a Color extension. Colors which were previously only available in…☆29Updated last week
- high-performance json parsing and encoding for server applications☆85Updated this week
- Write HTML using Swift Macros. Supports HTMX via global attributes.☆30Updated this week
- Watches over your Swift project's source☆48Updated 10 months ago
- An unopinionated SwiftNIO based web framework, Express.js/Connect like.☆49Updated last month