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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Add a little WebOS to iOS!☆18Aug 17, 2015Updated 10 years ago
- Helping me use Firebase features with ease☆13Feb 11, 2026Updated last month
- 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
- 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
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 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
- Concurrent and distributed Prolog via join patterns (join calculus)☆12Mar 10, 2015Updated 11 years ago
- Communicate with Erlang node from Haskell☆13Mar 14, 2021Updated 5 years ago
- Code for "Staged Generic Programming" (ICFP 2017)☆28Sep 2, 2023Updated 2 years ago
- Yes, really!☆11May 8, 2015Updated 10 years ago
- This is a demo which simulate the composed function of WeiBo☆11Dec 6, 2016Updated 9 years ago
- Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.☆12Apr 1, 2016Updated 9 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
- Pack file encoder/decoder in OCaml☆12Jun 2, 2017Updated 8 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A Matcher Framework for Swift and Objective-C☆11Nov 11, 2014Updated 11 years ago
- [OBSOLETE] - needs updating - An example client to the Stremio add-ons protocol, similar to Stremio's Discover☆10Jul 31, 2018Updated 7 years ago
- A Mac OS X application for recording the screen and converting to .webm (for now) -- written in Swift☆10Dec 19, 2014Updated 11 years ago
- A behavior-driven development test framework for Swift and Objective-C.☆19Nov 17, 2014Updated 11 years ago
- Collection of helper methods for byte manipulation in Swift☆13Jun 8, 2021Updated 4 years ago
- Unified drag and drop listener☆17Oct 6, 2015Updated 10 years ago
- Swift fractional number type for precise representations of rationals☆31Jan 17, 2017Updated 9 years ago
- ☆16Jan 15, 2018Updated 8 years ago
- Past and future talks☆12Jan 18, 2021Updated 5 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆40Jan 14, 2018Updated 8 years ago
- An AMD am2901 4-bit ALU slice☆10Feb 14, 2023Updated 3 years ago
- Hide app labels when not scrolling☆13May 8, 2023Updated 2 years ago
- Tools for Aard Dictionary☆16Nov 15, 2015Updated 10 years ago
- Voxel Cone Tracing☆16Sep 9, 2019Updated 6 years ago
- Start Here! Development Environment Tools and System Releases☆21Jul 20, 2015Updated 10 years ago
- A template set for writing semantics in LaTeX☆12Aug 17, 2015Updated 10 years ago
- A simple WatchKit app to display your iPhone's remaining battery life☆10Jul 2, 2015Updated 10 years ago
- Rebar3 plugin to build Rust crates (unmaintained). See https://github.com/filmor/rebar3_rust/tree/update for more recent work.☆10Sep 26, 2018Updated 7 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A simple OS X widget to display time zones. Built on a train from Köln to Berlin.☆10Nov 11, 2019Updated 6 years ago
- Script to change all MAC Addresses☆12Oct 3, 2013Updated 12 years ago
- I've put a function found in Apple's ARKit examples into a Swift Package & CocoaPod so it's easy to use.☆12Sep 28, 2019Updated 6 years ago
- Another experiment in dependently typed languages, this time with some quantitative type theory smooshed in.☆18Oct 12, 2018Updated 7 years ago
- Source code of Beep Beep☆10Jan 30, 2017Updated 9 years ago
- Virtual KVM for OS X☆14Mar 14, 2015Updated 11 years ago
- Swift Mailboxes as a shameless ripoff of Go's Channel feature☆14May 17, 2015Updated 10 years ago