kyouko-taiga / LogicKit
A Prolog-like language as a Swift Embedded Domain Specific Language.
☆61Updated 3 years ago
Alternatives and similar repositories for LogicKit:
Users that are interested in LogicKit are comparing it to the libraries listed below
- Swift type checking and semantic analysis for developer tools☆81Updated 2 years ago
- An LALR Parser Generator for Swift☆63Updated last year
- A Swift PEG parser☆27Updated 2 years ago
- A parser for nondeterministic context free languages☆62Updated 3 years ago
- Swift sample code for Bartosz Milewski's book "Category Theory for Programmers"☆93Updated 5 years ago
- Raft protocol implementation in Swift☆26Updated 3 years ago
- An experimental functional programming language with dependent types, inspired by Swift and Idris.☆46Updated 2 years ago
- Use Local LSP Servers via WebSockets☆39Updated last year
- An implementation of HAMT data-structure in Swift☆49Updated 5 years ago
- The Swift Compiler As a Package☆68Updated 6 months ago
- JSON decoding and encoding, using the swift-parsing library☆30Updated last year
- Minimal type-safe context propagation container☆84Updated this week
- Experimental mutation testing tool for Swift and XCTest powered by mull☆46Updated 3 years ago
- A client/server actor system for Swift distributed actors☆93Updated 3 months ago
- Native Swift Runtime Libraries☆41Updated 5 years ago
- Swift Parser Combinators☆58Updated 5 years ago
- Ax is a code editor with syntax highlighting that runs in your terminal written completely in Swift.☆44Updated 3 years ago
- A library to derive and compose Environment's in The Composable Architecture.☆130Updated 2 years ago
- serve versioned, multi-package swift documentation, at scale☆38Updated last year
- Math expression parser built with Point•Free's swift-parsing package☆61Updated 6 months ago
- An unopinionated SwiftNIO based web framework, Express.js/Connect like.☆50Updated 2 months ago
- Type-safe wrapper mirroring the wrapped type's properties, making each property optional☆78Updated last year
- Equations in Swift☆45Updated 5 years ago
- Demand-driven asynchronous programming in Swift☆32Updated 3 years ago
- Publishers, operators, and subscribers to supplement Combine.☆139Updated 10 months ago
- Proof of concept for Swift Observation back-deploy☆39Updated last year
- A simple self-hosted Swift compiler☆39Updated 6 years ago
- A framework that mimics the SwiftUI view's environment to replicate the value distribution thought your UIKit app.☆39Updated 9 months ago
- Random and time-ordered UUID generation in Swift☆73Updated 2 years ago