kara-lang / Kara
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
- 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
- Build Swift Macros with WebAssembly☆68Updated 11 months ago
- Swift implementation of a Lox interpreter☆49Updated 7 years ago
- Parser combinator framework written in Swift☆17Updated 7 years ago
- Tests for semantic conformance to protocols from the Swift standard library☆29Updated 2 years ago
- ☆19Updated 10 months ago
- A simple swift package that provides a Swift Concurrency equivalent to `@Published`.☆36Updated 2 years ago
- A client/server actor system for Swift distributed actors☆93Updated 4 months ago
- GitHub Action with SwiftWasm toolchain and SDK preinstalled☆17Updated last year
- A compiler for the Kaleidoscope sample project, written in Swift☆46Updated 7 years ago
- An unopinionated SwiftNIO based asynchronous I/O framework, Node.js like.☆36Updated 3 months ago
- Swift package for recreating images as geometric primitives in form of SVG files☆18Updated 4 months ago
- Demand-driven asynchronous programming in Swift☆32Updated 4 years ago
- A simple self-hosted Swift compiler☆39Updated 6 years ago
- Sample Apps for Swift on Windows☆30Updated last year
- Access the DOM and other Web APIs from Swift! (Very much a WIP)☆69Updated 3 weeks ago
- Small test app for C++ Interop with Swift.☆20Updated last year
- Demo project of Swift on Web App☆89Updated 3 years ago
- DNS-SD (Bonjour/Zeroconf/Avahi) implementation of the Swift Service Discovery API☆29Updated 8 months ago
- SwiftWasm organization blog☆12Updated 9 months ago
- Math expression parser built with Point•Free's swift-parsing package☆61Updated 7 months ago
- Experimental: Reactive Wasm Web-Components with Embedded Swift☆30Updated 3 months ago
- Arbitrary-precision decimal arithmetic in Swift with full math functions and fixed-precision Decimal 32-, 64-, and 128-bit types.☆33Updated 5 months ago
- high-performance json parsing and encoding for server applications☆96Updated 2 months ago
- ActivityPub server capable of federating with Mastodon☆21Updated last month
- Swift Game Engine and Entity Component System inspired by Redux and Composable Architecture☆23Updated 2 years ago
- OpenCombine helpers for JavaScriptKit/WebAssembly APIs☆32Updated 2 years ago
- An implementation of HAMT data-structure in Swift☆49Updated 5 years ago
- Copy of SQLite for use by clients within the Swift toolchain. This is not a general-purpose wrapper for SQLite.☆20Updated 2 weeks ago