kara-lang / KaraLinks
An experimental functional programming language with dependent types, inspired by Swift and Idris.
☆46Updated 2 years ago
Alternatives and similar repositories for Kara
Users that are interested in Kara are comparing it to the libraries listed below
Sorting:
- Swift type checking and semantic analysis for developer tools☆81Updated 3 years ago
- A Prolog-like language as a Swift Embedded Domain Specific Language.☆61Updated 3 years ago
- Swift implementation of a Lox interpreter☆50Updated 7 years ago
- Demo project of Swift on Web App☆90Updated 3 years ago
- Build Swift Macros with WebAssembly☆68Updated last year
- Small test app for C++ Interop with Swift.☆20Updated last year
- high-performance json parsing and encoding for server applications☆108Updated 3 months ago
- Lexing library for Swift☆42Updated 3 months ago
- μSwift[Core]☆104Updated last year
- Demand-driven asynchronous programming in Swift☆32Updated 4 years ago
- A simple self-hosted Swift compiler☆39Updated 6 years ago
- Access the DOM and other Web APIs using Swift for WebAssembly☆73Updated 2 months ago
- The SwiftWasm book to get you started☆59Updated 4 months ago
- The Swift Compiler As a Package☆68Updated 10 months ago
- A simple swift package that provides a Swift Concurrency equivalent to `@Published`.☆37Updated 2 years ago
- Parser combinator framework written in Swift☆17Updated 7 years ago
- SwiftWasm organization blog☆12Updated 4 months ago
- An unopinionated SwiftNIO based web framework, Express.js/Connect like.☆60Updated 3 weeks ago
- GitHub Action with SwiftWasm toolchain and SDK preinstalled☆18Updated last year
- Write HTML and HTMX using Swift Macros.☆54Updated last week
- debuggable parsing tools for performance-sensitive libraries☆16Updated 6 months ago
- OpenCombine helpers for JavaScriptKit/WebAssembly APIs☆32Updated 3 years ago
- Glob for Swift 5☆25Updated 4 years ago
- Watches over your Swift project's source☆50Updated last year
- Sample Apps for Swift on Windows☆30Updated last year
- A client/server actor system for Swift distributed actors☆96Updated 8 months ago
- swiftwasm-pad is a online playground to help developers learn about Swift on Web.☆61Updated last year
- Convergent and Commutative Replicated Data Types implementation in Swift☆27Updated 5 years ago
- A way of running Swift Distributed Actors in their own worker "thread"☆51Updated 2 months ago
- Port of Akka in Action examples to Swift Distributed Actors☆23Updated 2 years ago