Swift lambda calculus functions supporting intensional equality
☆12Jun 19, 2016Updated 9 years ago
Alternatives and similar repositories for Calcula
Users that are interested in Calcula are comparing it to the libraries listed below
Sorting:
- An attempt to reimplement a minimal version of the Swift standard library. Just for fun — I doubt this has practical applications.☆12May 3, 2021Updated 4 years ago
- Add a little WebOS to iOS!☆18Aug 17, 2015Updated 10 years ago
- Helping me use Firebase features with ease☆13Feb 11, 2026Updated 3 weeks ago
- an iOS example app for using Combine, Combine Data Source, Combine Cocoa with UIKit and write reactive UI with Combine Features☆14Feb 14, 2023Updated 3 years ago
- Swift bidirectional mapping providing O(1) lookup between values☆15Apr 8, 2021Updated 4 years ago
- Brings back the classic iPod click wheel as a keyboard for iOS 8!☆27May 18, 2015Updated 10 years ago
- Code for "Staged Generic Programming" (ICFP 2017)☆28Sep 2, 2023Updated 2 years ago
- A Swift Package Manager packed with SwiftUI custom reusable UI components and extensions.☆27Jul 23, 2020Updated 5 years ago
- Async http swift client new concurrency in swift uikit swiftui☆38Nov 30, 2024Updated last year
- SwiftRest is a beginner-friendly Swift 6 REST client built with actor-based concurrency safety, typed decoding, and simple response/heade…☆12Feb 19, 2026Updated 2 weeks ago
- a short guide on how to use iohub when using Tobii Eye Trackers with PsychoPy Builder.☆11Jun 11, 2020Updated 5 years ago
- Swift fractional number type for precise representations of rationals☆31Jan 17, 2017Updated 9 years ago
- MetaML and MetaOCaml bibliography☆100Dec 1, 2024Updated last year
- Swift matrices with friendly semantics and a familiar interface☆37Nov 16, 2017Updated 8 years ago
- An AMD am2901 4-bit ALU slice☆10Feb 14, 2023Updated 3 years ago
- A demo help you learn how to use DJI Mobile SDK to access the media resources in the SD card of the aircraft's camera to preview photos, …☆11Jun 7, 2022Updated 3 years ago
- A behavior-driven development test framework for Swift and Objective-C.☆19Nov 17, 2014Updated 11 years ago
- How to burn a bootloader to the trigorilla v0.0.2 with an arduino uno☆11Apr 26, 2023Updated 2 years ago
- A Matcher Framework for Swift and Objective-C☆11Nov 11, 2014Updated 11 years ago
- A good starting point for git for iOS students☆10Nov 16, 2021Updated 4 years ago
- Enables the modern iOS 12 iPad Statusbar on older (non-X) devices and allows hiding its items.☆12Dec 12, 2019Updated 6 years ago
- A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata☆11Jan 14, 2020Updated 6 years ago
- This is a text based fantasy AI game☆12Dec 15, 2024Updated last year
- iOS app starter with the following authentications: Apple Sign In, Google Sign In, Facebook Sign In, Email authentication and Phone Authe…☆14Mar 2, 2024Updated 2 years ago
- Parsers for Prolog, Datomic, and various other Datalog varieties.☆12Aug 19, 2017Updated 8 years ago
- The official project template of the SoftwareBrothers iOS team. This template should be the common base for all new projects and ensures …☆10Nov 21, 2018Updated 7 years ago
- Collection of interesting patterns, inspired by nature, powered by p5js☆10Jun 2, 2018Updated 7 years ago
- A Neovim client for VsCoq 2 vscoqtop.☆12Nov 8, 2025Updated 3 months ago
- The Wrangler plugin for Vim☆10Dec 30, 2016Updated 9 years ago
- ☆10Aug 9, 2024Updated last year
- Documentation for the Ethereum LLL compiler☆14Jul 15, 2023Updated 2 years ago
- newLISP programming...☆10Sep 25, 2015Updated 10 years ago
- [EXPERIMENTAL] RISC-V platform crate for Drone, an Embedded Operating System.☆12Apr 9, 2021Updated 4 years ago
- FLUXION☆10Jun 24, 2016Updated 9 years ago
- A Basic Example Of A Measuring Application In ARKIT Which Includes The Calculation Of Angles.☆11Aug 13, 2018Updated 7 years ago
- ☆10Feb 24, 2018Updated 8 years ago
- Docker image that generates a 800x600 weather status page for display on Nook Simple Touch☆11Jan 1, 2023Updated 3 years ago
- Bibata Cursor, with support for hyprcursor and Xcursor☆19Jan 28, 2025Updated last year
- A "port" of plucid that works on OS X☆12Oct 25, 2014Updated 11 years ago