kara-lang / KaraView external linksLinks
An experimental functional programming language with dependent types, inspired by Swift and Idris.
☆46Aug 9, 2022Updated 3 years ago
Alternatives and similar repositories for Kara
Users that are interested in Kara are comparing it to the libraries listed below
Sorting:
- GitHub Action for building and testing your code with Swift on Windows☆21Sep 4, 2022Updated 3 years ago
- GitHub Action with SwiftWasm toolchain and SDK preinstalled☆18Mar 10, 2024Updated last year
- Cross platform graphics in Swift using WGSL. An implementation of wgpu-native☆13Nov 7, 2023Updated 2 years ago
- Swift type checking and semantic analysis for developer tools☆80Mar 16, 2022Updated 3 years ago
- Demo project of Swift on Web App☆89Oct 4, 2021Updated 4 years ago
- A rather subscript oriented interface to the dynamic linker.☆27Nov 1, 2025Updated 3 months ago
- Small test app for C++ Interop with Swift.☆20Nov 5, 2023Updated 2 years ago
- PoC of Swift for Compute@Edge☆12Feb 3, 2022Updated 4 years ago
- pointed and copointed data☆23Mar 3, 2025Updated 11 months ago
- OpenCombine helpers for JavaScriptKit/WebAssembly APIs☆32May 12, 2022Updated 3 years ago
- Static Tokamak/SwiftUI views renderer for Vapor☆49Jul 24, 2022Updated 3 years ago
- A static library for using SwiftSyntax / lib_InternalSwiftSyntaxParser☆48Apr 17, 2023Updated 2 years ago
- Windows Metadata Parser in Swift☆20Apr 22, 2023Updated 2 years ago
- A property wrapper to enforce that closures are called exactly once!☆18Jul 9, 2021Updated 4 years ago
- A complete reflection library for Swift☆278May 23, 2022Updated 3 years ago
- A Swift package for reading, writing, and transformation of WebAssembly binaries☆37Mar 30, 2023Updated 2 years ago
- Reverse-engineered Swift Playgrounds☆46Jul 20, 2018Updated 7 years ago
- μSwift[Core]☆105Jul 22, 2024Updated last year
- Swift bindings for WebGPU☆114Oct 18, 2025Updated 3 months ago
- Example Project to show how to build a Catalyst static library with Rust☆17Feb 26, 2021Updated 4 years ago
- A swift library that implements a parametric Lindenmayer system and related SwiftUI views for presentation of the results of your systems…☆43Feb 26, 2025Updated 11 months ago
- Swift/Java interoperability example mixing Java & Swift code for a tiny Swing UI application☆21Nov 1, 2024Updated last year
- Template to use for a GraphQL server with Vapor.☆24Jun 4, 2024Updated last year
- Swift, Wasm, and Algorithms☆18Dec 9, 2020Updated 5 years ago
- A collection of useful extensions for Combine and CombineX☆22Jul 5, 2021Updated 4 years ago
- Asserts that an expression crashes by using Mach Exception Handler or POSIX Signal Handler.☆51Nov 4, 2019Updated 6 years ago
- 🍴 Parallelize two or more async functions☆11Dec 13, 2025Updated 2 months ago
- Yeat another WASM benchmark (WASI) - http://wabench.com:8080☆11Jan 7, 2023Updated 3 years ago
- A sampling-based heap memory profiler for WebAssembly on JavaScript engines.☆14Nov 25, 2025Updated 2 months ago
- Use Tokamak in your Publish themes.☆23Jan 9, 2022Updated 4 years ago
- Rendering Disney's Moana in Swift☆116Updated this week
- Swift library for Android☆118Jul 13, 2025Updated 7 months ago
- View the internals of a Swift framework☆24Dec 19, 2020Updated 5 years ago
- Yet Another (Swift) Argument Parser☆117Feb 4, 2020Updated 6 years ago
- ☆11May 18, 2020Updated 5 years ago
- In botany, phyllotaxis (from Ancient Greek φύλλον (phúllon) 'leaf', and τάξις (táxis) 'arrangement') or phyllotaxy is the arrangement of …☆12Jan 12, 2023Updated 3 years ago
- A Swift parser for output files from automated transcription services. An experiment inspired by the Swift Community Podcast.☆13May 3, 2021Updated 4 years ago
- Declarative, Compositional Url Handling for WAI☆10Sep 28, 2023Updated 2 years ago
- ratlab is a programming platform designed loosely for hobbyist and masochist to analyse and design stuff and things that transform our wo…☆10Aug 28, 2023Updated 2 years ago