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 2 years ago
- A simple self-hosted Swift compiler☆39Updated 6 years ago
- Small test app for C++ Interop with Swift.☆20Updated last year
- The SwiftWasm book to get you started☆52Updated 2 months ago
- A Prolog-like language as a Swift Embedded Domain Specific Language.☆61Updated 3 years ago
- Swift WebAssembly runtime powered by WAMR☆34Updated 3 years ago
- A compiler for the Kaleidoscope sample project, written in Swift☆46Updated 7 years ago
- Sample Apps for Swift on Windows☆29Updated 10 months ago
- SwiftWasm organization blog☆12Updated 8 months ago
- 👅 We made the buttons on the screen look so good you'll want to lick them. - Steve Jobs☆20Updated 3 years ago
- ☆19Updated 8 months ago
- μSwift[Core]☆104Updated 6 months ago
- GitHub Action with SwiftWasm toolchain and SDK preinstalled☆17Updated 11 months ago
- Swift implementation of a Lox interpreter☆49Updated 7 years ago
- Build Swift Macros with WebAssembly☆66Updated 10 months ago
- Access the DOM and other Web APIs from Swift! (Very much a WIP)☆68Updated 9 months ago
- OpenCombine helpers for JavaScriptKit/WebAssembly APIs☆32Updated 2 years ago
- Swift library for working with Language Server Protocol (LSP)☆57Updated last month
- Parser combinator framework written in Swift☆17Updated 7 years ago
- The Swift Compiler As a Package☆68Updated 5 months ago
- A Swift PEG parser☆27Updated 2 years ago
- A Swift library of data structures and algorithms found and used in compilers☆25Updated 6 years ago
- high-performance json parsing and encoding for server applications☆93Updated 3 weeks ago
- An unopinionated SwiftNIO based web framework, Express.js/Connect like.☆50Updated 2 months ago
- Experimental mutation testing tool for Swift and XCTest powered by mull☆45Updated 3 years ago
- Lexing library for Swift☆34Updated 5 months ago
- Swift package for recreating images as geometric primitives in form of SVG files☆18Updated 3 months ago
- An unopinionated SwiftNIO based asynchronous I/O framework, Node.js like.☆37Updated last month
- Demand-driven asynchronous programming in Swift☆32Updated 3 years ago
- A simple swift package that provides a Swift Concurrency equivalent to `@Published`.☆36Updated 2 years ago