kara-lang / Kara
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
- Swift type checking and semantic analysis for developer tools☆81Updated 2 years ago
- Access the DOM and other Web APIs from Swift! (Very much a WIP)☆64Updated 8 months ago
- A Prolog-like language as a Swift Embedded Domain Specific Language.☆61Updated 3 years ago
- SwiftWasm organization blog☆12Updated 7 months ago
- Swift implementation of a Lox interpreter☆49Updated 6 years ago
- A word game created with Tokamak☆17Updated 2 years ago
- Copy of SQLite for use by clients within the Swift toolchain. This is not a general-purpose wrapper for SQLite.☆20Updated last month
- GitHub Action with SwiftWasm toolchain and SDK preinstalled☆18Updated 10 months ago
- A Swift library of data structures and algorithms found and used in compilers☆25Updated 6 years ago
- A compiler for the Kaleidoscope sample project, written in Swift☆46Updated 6 years ago
- A proof-of-concept project for Swift on Windows with bindings to C#/the CLR.☆42Updated 11 months ago
- A Swift DSL for generating HTML and CSS documents☆48Updated 2 years ago
- Port of Akka in Action examples to Swift Distributed Actors☆23Updated last year
- μSwift[Core]☆103Updated 5 months ago
- Swifty interface for the LLVM compiler infrastructure.☆28Updated last month
- A simple self-hosted Swift compiler☆39Updated 6 years ago
- Tests for semantic conformance to protocols from the Swift standard library☆29Updated 2 years ago
- An unopinionated SwiftNIO based asynchronous I/O framework, Node.js like.☆37Updated 3 weeks ago
- Small test app for C++ Interop with Swift.☆20Updated last year
- Experimental: Reactive Wasm Web-Components with Embedded Swift☆26Updated last month
- Static Tokamak/SwiftUI views renderer for Vapor☆49Updated 2 years ago
- Build Swift Macros with WebAssembly☆67Updated 9 months ago
- Parser combinator framework written in Swift☆17Updated 7 years ago
- The Swift Compiler As a Package☆68Updated 4 months ago
- OpenCombine helpers for JavaScriptKit/WebAssembly APIs☆32Updated 2 years ago
- 👅 We made the buttons on the screen look so good you'll want to lick them. - Steve Jobs☆20Updated 3 years ago
- An operating system written in Swift.☆22Updated this week
- high-performance json parsing and encoding for server applications☆91Updated this week
- A simple 'hello-world' app using SwiftGtk☆15Updated 4 years ago
- Hummingbird transport for OpenAPI generator☆27Updated last month