kara-lang / KaraLinks
An experimental functional programming language with dependent types, inspired by Swift and Idris.
☆45Updated 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
- LRU Cache written in Swift.☆21Updated 4 years ago
- Swift implementation of a Lox interpreter☆50Updated 7 years ago
- Small test app for C++ Interop with Swift.☆20Updated last year
- OpenCombine helpers for JavaScriptKit/WebAssembly APIs☆32Updated 3 years ago
- A Prolog-like language as a Swift Embedded Domain Specific Language.☆61Updated 3 years ago
- Simple one-step access to the Swiftly toolchain manager from GitHub Actions workflows☆26Updated last month
- ☆20Updated last year
- Build Swift Macros with WebAssembly☆68Updated last year
- An unopinionated SwiftNIO based web framework, Express.js/Connect like.☆60Updated 2 weeks ago
- Demand-driven asynchronous programming in Swift☆32Updated 4 years ago
- Sample Apps for Swift on Windows☆30Updated last year
- Experimental: Reactive Wasm Web-Components with Embedded Swift☆44Updated last month
- The Swift Compiler As a Package☆68Updated 8 months ago
- Watches over your Swift project's source☆48Updated last year
- debuggable parsing tools for performance-sensitive libraries☆16Updated 4 months ago
- A Swift library of data structures and algorithms found and used in compilers☆25Updated 7 years ago
- Raft protocol implementation in Swift☆27Updated 4 years ago
- Swift implementation of JMESPath, the JSON query language☆37Updated last week
- Parser combinator framework written in Swift☆17Updated 7 years ago
- Lexing library for Swift☆41Updated 3 weeks ago
- A simple self-hosted Swift compiler☆39Updated 6 years ago
- Swift WebAssembly runtime powered by WAMR☆34Updated 4 years ago
- A client/server actor system for Swift distributed actors☆95Updated 6 months ago
- ☆63Updated this week
- SwiftWasm organization blog☆12Updated last month
- A simple swift package that provides a Swift Concurrency equivalent to `@Published`.☆37Updated 2 years ago
- Tests for semantic conformance to protocols from the Swift standard library☆29Updated 2 years ago
- A DOM-rendered WASM game in ~100KB, written in Swift☆58Updated last month
- Arbitrary-precision decimal arithmetic in Swift with full math functions and fixed-precision Decimal 32-, 64-, and 128-bit types.☆35Updated 7 months ago