kyouko-taiga / LogicKit
A Prolog-like language as a Swift Embedded Domain Specific Language.
☆62Updated 3 years ago
Related projects: ⓘ
- Swift type checking and semantic analysis for developer tools☆81Updated 2 years ago
- An LALR Parser Generator for Swift☆62Updated 8 months ago
- A parser for nondeterministic context free languages☆62Updated 2 years ago
- An experimental functional programming language with dependent types, inspired by Swift and Idris.☆44Updated 2 years ago
- A compiler for the Kaleidoscope sample project, written in Swift☆46Updated 6 years ago
- Raft protocol implementation in Swift☆25Updated 3 years ago
- Swift Parser Combinators☆58Updated 4 years ago
- Type-safe wrapper mirroring the wrapped type's properties, making each property optional☆77Updated last year
- Swift implementation of Force Directed Graphs☆23Updated 8 years ago
- A Swift PEG parser☆26Updated 2 years ago
- Arbitrary-precision arithmetic for Swift, in Swift☆29Updated 10 months ago
- Tests for semantic conformance to protocols from the Swift standard library☆29Updated last year
- A simple self-hosted Swift compiler☆39Updated 5 years ago
- Parser combinator framework written in Swift☆17Updated 6 years ago
- The Swift Compiler As a Package☆68Updated last week
- Experimental mutation testing tool for Swift and XCTest powered by mull☆45Updated 3 years ago
- An implementation of HAMT data-structure in Swift☆49Updated 4 years ago
- A simple swift package that provides a Swift Concurrency equivalent to `@Published`.☆36Updated last year
- Math expression parser built with Point•Free's swift-parsing package☆61Updated last month
- Static Tokamak/SwiftUI views renderer for Vapor☆48Updated 2 years ago
- ☆43Updated 3 years ago
- Swift sample code for Bartosz Milewski's book "Category Theory for Programmers"☆92Updated 4 years ago
- 🧪 PotentCodables - A potent set of implementations and extensions to the Swift Codable system☆69Updated 3 months ago
- SwiftSyntax binary frameworks☆47Updated 6 months ago
- Convergent and Commutative Replicated Data Types implementation in Swift☆26Updated 4 years ago
- A Swift library of data structures and algorithms found and used in compilers☆23Updated 6 years ago
- OpenCombine helpers for JavaScriptKit/WebAssembly APIs☆32Updated 2 years ago
- Demand-driven asynchronous programming in Swift☆32Updated 3 years ago
- A local persistence system for Swift☆67Updated this week
- A simple LISP interpreter written in Swift☆36Updated 5 years ago