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 type checking and semantic analysis for developer tools☆81Updated 3 years ago
- high-performance json parsing and encoding for server applications☆107Updated 6 months ago
- A Prolog-like language as a Swift Embedded Domain Specific Language.☆63Updated 4 years ago
- Build Swift Macros with WebAssembly☆68Updated last year
- Swift implementation of a Lox interpreter☆51Updated 7 years ago
- Small test app for C++ Interop with Swift.☆20Updated last year
- μSwift[Core]☆104Updated last year
- Access the DOM and other Web APIs using Swift for WebAssembly☆77Updated 4 months ago
- A pure Swift replacement for readline☆151Updated 2 years ago
- Lexing library for Swift☆42Updated 5 months ago
- Demo project of Swift on Web App☆90Updated 4 years ago
- Demand-driven asynchronous programming in Swift☆32Updated 4 years ago
- Watches over your Swift project's source☆50Updated last year
- debuggable parsing tools for performance-sensitive libraries☆16Updated 9 months ago
- Glob for Swift 5☆25Updated 4 years ago
- OpenCombine helpers for JavaScriptKit/WebAssembly APIs☆32Updated 3 years ago
- Sample Apps for Swift on Windows☆29Updated last year
- A Swift DSL for generating HTML and CSS documents☆49Updated 3 years ago
- A Swift wrapper for io_uring☆35Updated 3 weeks ago
- Swift WebAssembly runtime powered by WAMR☆34Updated 4 years ago
- A client/server actor system for Swift distributed actors☆99Updated 11 months ago
- A light-weight general-purpose library to help represent situations where the type of a value is one of a set of types. An alternative to…☆20Updated last month
- An unopinionated SwiftNIO based web framework, Express.js/Connect like.☆61Updated 3 weeks ago
- A DOM-rendered WASM game in ~100KB, written in Swift☆70Updated 6 months ago
- A Swift library for interacting with Language Server Protocol implementations☆102Updated 2 years ago
- The Swift Compiler As a Package☆68Updated last year
- Type-safe wrapper mirroring the wrapped type's properties, making each property optional☆79Updated 2 years ago
- 🏹 Bow Lite is a cross-platform library for Typed Functional Programming in Swift☆29Updated 3 years ago
- DNS-SD (Bonjour/Zeroconf/Avahi) implementation of the Swift Service Discovery API☆31Updated last year
- An unopinionated SwiftNIO based asynchronous I/O framework, Node.js like.☆39Updated 3 weeks ago