An experimental functional programming language with dependent types, inspired by Swift and Idris.
☆47Aug 9, 2022Updated 4 years ago
Alternatives and similar repositories for Kara
Users that are interested in Kara are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- PoC of Swift for Compute@Edge☆12Feb 3, 2022Updated 4 years ago
- GitHub Action for building and testing your code with Swift on Windows☆21Sep 4, 2022Updated 4 years ago
- GitHub Action with SwiftWasm toolchain and SDK preinstalled☆18Mar 10, 2024Updated 2 years ago
- Swift type checking and semantic analysis for developer tools☆80Mar 16, 2022Updated 4 years ago
- Template to use for a GraphQL server with Vapor.☆24Jun 4, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Swift running on bare metal Raspberry Pi☆20Mar 17, 2022Updated 4 years ago
- A Swift package for reading, writing, and transformation of WebAssembly binaries☆35Mar 30, 2023Updated 3 years ago
- Demo project of Swift on Web App☆89Oct 4, 2021Updated 5 years ago
- Swift WebAssembly runtime powered by WAMR☆34Mar 31, 2021Updated 5 years ago
- Static Tokamak/SwiftUI views renderer for Vapor☆48Jul 24, 2022Updated 4 years ago
- Standard extensions for Foundation framework☆19Oct 16, 2026Updated 3 weeks ago
- A property wrapper to enforce that closures are called exactly once!☆18Jul 9, 2021Updated 5 years ago
- A procedural game asset generator for macOS and iOS☆30Aug 21, 2023Updated 3 years ago
- μSwift[Core]☆106Jul 22, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A rather subscript oriented interface to the dynamic linker.☆28Oct 10, 2026Updated 3 weeks ago
- 🌤️ Open source weather experience☆15Jun 10, 2023Updated 3 years ago
- Swift, Wasm, and Algorithms☆18Dec 9, 2020Updated 5 years ago
- A simple CSS DSL using @functionBuilder☆15Feb 27, 2021Updated 5 years ago
- Windows Metadata Parser in Swift☆31Sep 1, 2026Updated 2 months ago
- A Swift wrapper around inotify on Linux☆16Sep 24, 2026Updated last month
- OpenCombine helpers for JavaScriptKit/WebAssembly APIs☆32May 12, 2022Updated 4 years ago
- A collection of useful extensions for Combine and CombineX☆22Jul 5, 2021Updated 5 years ago
- An interactive course accompanied by a CTF, that brings you right through from beginner to advanced in a variety of fields relevant to ha…☆10Mar 30, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ➕ Swift Function Upgrades☆12May 12, 2021Updated 5 years ago
- Type-safe routing in SwiftUI☆23Aug 25, 2020Updated 6 years ago
- A complete reflection library for Swift☆283May 23, 2022Updated 4 years ago
- Use Tokamak in your Publish themes.☆23Jan 9, 2022Updated 4 years ago
- View the internals of a Swift framework☆25Dec 19, 2020Updated 5 years ago
- A static library for using SwiftSyntax / lib_InternalSwiftSyntaxParser☆48Apr 17, 2023Updated 3 years ago
- Basic template for browser apps built with SwiftWasm☆15Jan 15, 2021Updated 5 years ago
- Type safety for Metal 🤘☆39Aug 24, 2026Updated 2 months ago
- A word game created with Tokamak☆20Sep 8, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Reverse-engineered Swift Playgrounds☆46Jul 20, 2018Updated 8 years ago
- Swift Addons for Panic's Nova app.☆12Apr 7, 2022Updated 4 years ago
- Small test app for C++ Interop with Swift.☆20Nov 5, 2023Updated 3 years ago
- Swift/Java interoperability example mixing Java & Swift code for a tiny Swing UI application☆22Nov 1, 2024Updated 2 years ago
- Swift support for GitHub Actions.☆17Sep 19, 2020Updated 6 years ago
- An advanced framework for comprehensively modeling APIs.☆11Aug 1, 2026Updated 3 months ago
- An Xcodeproj-less tool for creating cross-platform Swift apps.☆516Updated this week