kara-lang / KaraLinks
An experimental functional programming language with dependent types, inspired by Swift and Idris.
☆46Updated 3 years ago
Alternatives and similar repositories for Kara
Users that are interested in Kara are comparing it to the libraries listed below
Sorting:
- Swift implementation of a Lox interpreter☆51Updated 7 years ago
- Swift type checking and semantic analysis for developer tools☆81Updated 3 years ago
- A Prolog-like language as a Swift Embedded Domain Specific Language.☆63Updated 4 years ago
- Access the DOM and other Web APIs using Swift for WebAssembly☆79Updated 2 weeks ago
- high-performance json parsing and encoding for server applications☆107Updated 6 months ago
- OpenCombine helpers for JavaScriptKit/WebAssembly APIs☆32Updated 3 years ago
- Demo project of Swift on Web App☆89Updated 4 years ago
- Build Swift Macros with WebAssembly☆69Updated last year
- Small test app for C++ Interop with Swift.☆20Updated 2 years ago
- Demand-driven asynchronous programming in Swift☆32Updated 4 years ago
- Lexing library for Swift☆43Updated 6 months ago
- Watches over your Swift project's source☆50Updated last year
- Parser combinator framework written in Swift☆17Updated 8 years ago
- μSwift[Core]☆104Updated last year
- The SwiftWasm book to get you started☆61Updated 7 months ago
- Sample Apps for Swift on Windows☆29Updated last year
- Swift WebAssembly runtime powered by WAMR☆34Updated 4 years ago
- An unopinionated SwiftNIO based web framework, Express.js/Connect like.☆61Updated last month
- A Swift DSL for generating HTML and CSS documents☆49Updated 3 years ago
- 🏹 Bow Lite is a cross-platform library for Typed Functional Programming in Swift☆29Updated 4 years ago
- A pure Swift replacement for readline☆151Updated 2 years ago
- A Swift wrapper for io_uring☆35Updated 2 weeks ago
- A simple self-hosted Swift compiler☆39Updated 6 years ago
- Swift implementation of JMESPath, the JSON query language☆49Updated 4 months ago
- Write HTML and HTMX using Swift Macros.☆55Updated 2 months ago
- Type-safe wrapper mirroring the wrapped type's properties, making each property optional☆79Updated 2 years ago
- A client/server actor system for Swift distributed actors☆99Updated last year
- Experimental: Reactive Wasm Web-Components with Embedded Swift☆59Updated last month
- Copy of SQLite for use by clients within the Swift toolchain. This is not a general-purpose wrapper for SQLite.☆30Updated last week
- Glob for Swift 5☆25Updated 4 years ago