JadenGeller / CalculaView external linksLinks
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
- Helping me use Firebase features with ease☆13Updated this week
- Add a little WebOS to iOS!☆18Aug 17, 2015Updated 10 years 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 2 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 lightweight, easy-to-use Swift package for building REST API clients. It provides a flexible and robust solution for sendi…☆12May 26, 2025Updated 8 months 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☆99Dec 1, 2024Updated last year
- Swift matrices with friendly semantics and a familiar interface☆37Nov 16, 2017Updated 8 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☆11Dec 15, 2024Updated last year
- Enables the modern iOS 12 iPad Statusbar on older (non-X) devices and allows hiding its items.☆12Dec 12, 2019Updated 6 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
- An AMD am2901 4-bit ALU slice☆10Feb 14, 2023Updated 3 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 behavior-driven development test framework for Swift and Objective-C.☆19Nov 17, 2014Updated 11 years ago
- A good starting point for git for iOS students☆10Nov 16, 2021Updated 4 years ago
- Clojure library for parsing and seamless working with native C structs/structured byte buffers☆14May 26, 2015Updated 10 years ago
- Code samples from my talk on Swift Macros from 2024☆11Dec 10, 2024Updated last year
- The Wrangler plugin for Vim☆10Dec 30, 2016Updated 9 years ago
- newLISP programming...☆10Sep 25, 2015Updated 10 years ago
- Tools for Aard Dictionary☆16Nov 15, 2015Updated 10 years ago
- A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language☆11Aug 27, 2015Updated 10 years ago
- Hide app labels when not scrolling☆13May 8, 2023Updated 2 years ago
- A Basic Example Of A Measuring Application In ARKIT Which Includes The Calculation Of Angles.☆11Aug 13, 2018Updated 7 years ago
- Open Source Genetic Optimizer for the NinjaTrader platform☆17Jul 1, 2009Updated 16 years ago
- Docker image that generates a 800x600 weather status page for display on Nook Simple Touch☆11Jan 1, 2023Updated 3 years ago
- QMK to KLE Generator☆10Apr 26, 2023Updated 2 years ago
- Official iOS SDK for Stream Feeds☆23Feb 4, 2026Updated last week
- ☆13Jan 16, 2019Updated 7 years ago
- A playground containing the Sourcery runtime to help you write Sourcery Swift Templates.☆10May 27, 2018Updated 7 years ago
- Code for Nathan Herzing and Chris Shea's "Helping Voters with Datomic, Pedestal, Om and core.async" talk☆12Nov 21, 2014Updated 11 years ago
- iOS app starter with the following authentications: Apple Sign In, Google Sign In, Facebook Sign In, Email authentication and Phone Authe…☆14Mar 2, 2024Updated last year