Swift lambda calculus functions supporting intensional equality
☆12Jun 19, 2016Updated 10 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 11 years ago
- Helping me use Firebase features with ease☆13Feb 11, 2026Updated 8 months ago
- An attempt to reimplement a minimal version of the Swift standard library. Just for fun — I doubt this has practical applications.☆12May 3, 2021Updated 5 years ago
- Swift bidirectional mapping providing O(1) lookup between values☆15Apr 8, 2021Updated 5 years ago
- Brings back the classic iPod click wheel as a keyboard for iOS 8!☆28May 18, 2015Updated 11 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Yes, really!☆11May 8, 2015Updated 11 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 3 years ago
- Concurrent and distributed Prolog via join patterns (join calculus)☆12Mar 10, 2015Updated 11 years ago
- Code for "Staged Generic Programming" (ICFP 2017)☆28Sep 2, 2023Updated 3 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 10 years ago
- A simple OS X widget to display time zones. Built on a train from Köln to Berlin.☆10Nov 11, 2019Updated 6 years ago
- Communicate with Erlang node from Haskell☆13Mar 14, 2021Updated 5 years ago
- An extension that adds a "delete my timeline" function to either firefox or chrome browsers.☆13Jul 19, 2014Updated 12 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A toy compiler, built after Crenshaw's 1988 tutorial.☆11Nov 29, 2009Updated 16 years ago
- Ever wanted to run iPhone unit tests with the full power of the simulator? Now you can.☆12Mar 3, 2010Updated 16 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
- [OBSOLETE] - needs updating - An example client to the Stremio add-ons protocol, similar to Stremio's Discover☆10Jul 31, 2018Updated 8 years ago
- Collection of errata for book Aarne Ranta, Implementing Programming Languages☆12Sep 10, 2026Updated last month
- Pack file encoder/decoder in OCaml☆12Jun 2, 2017Updated 9 years ago
- Swift fractional number type for precise representations of rationals☆31Jan 17, 2017Updated 9 years ago
- Script to change all MAC Addresses☆12Oct 3, 2013Updated 13 years ago
- A module to show 3D meshes, using the standard OCaml graphics library.☆10Apr 19, 2019Updated 7 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆10Mar 10, 2016Updated 10 years ago
- Voxel Cone Tracing☆16Sep 9, 2019Updated 7 years ago
- Nintendo 3DS exploit for CTRSDK CTPK.☆11Jan 9, 2017Updated 9 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 8 years ago
- Hspec provider for tasty☆15Oct 7, 2025Updated last year
- An AMD am2901 4-bit ALU slice☆10Feb 14, 2023Updated 3 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
- An object-oriented mathematical expression parser for Objective-C☆10Aug 26, 2014Updated 12 years ago
- A simple WatchKit app to display your iPhone's remaining battery life☆10Jul 2, 2015Updated 11 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Simulink and MATLAB support for the bladeRF Software Defined Radio☆10Nov 24, 2015Updated 10 years ago
- Demo for integrating different types of iAds in app☆10Dec 6, 2014Updated 11 years ago
- Collection of helper methods for byte manipulation in Swift☆12Jun 8, 2021Updated 5 years ago
- Laptop browser update service☆19Sep 3, 2020Updated 6 years ago
- Swift Mailboxes as a shameless ripoff of Go's Channel feature☆14May 17, 2015Updated 11 years ago
- Papers and documents pertaining to the Nuand bladeRF Software Defined Radio☆13Jun 30, 2016Updated 10 years ago
- Unified drag and drop listener☆16Oct 6, 2015Updated 11 years ago