Tesseract’s evaluation and type system.
☆30May 2, 2015Updated 10 years ago
Alternatives and similar repositories for TesseractCore
Users that are interested in TesseractCore are comparing it to the libraries listed below
Sorting:
- Binary trees in Swift.☆25Oct 15, 2019Updated 6 years ago
- An implementation of a dependently-typed intermediate language used by Tesseract.☆30Jan 1, 2016Updated 10 years ago
- A small framework that makes UIImage accessible☆22Jun 4, 2016Updated 9 years ago
- Lazy streams in Swift.☆82Nov 2, 2015Updated 10 years ago
- for Xcode☆62Jul 3, 2015Updated 10 years ago
- ☆20Apr 17, 2018Updated 7 years ago
- ☆17Oct 28, 2015Updated 10 years ago
- A library for communicating with OpenRadar.☆21Sep 14, 2016Updated 9 years ago
- ☆126Sep 7, 2015Updated 10 years ago
- ☆35Dec 27, 2015Updated 10 years ago
- Multi-way bindings for ReactiveCocoa☆50Feb 15, 2016Updated 10 years ago
- Generic model framework☆164May 11, 2016Updated 9 years ago
- More Experiments in Functional View Controllers☆135May 20, 2015Updated 10 years ago
- Swift library of lightweight interfaces for prototyping, bridged to JS☆230Jun 21, 2016Updated 9 years ago
- Materials for my Pragma 2015 workshop on reactive programming☆37Oct 14, 2015Updated 10 years ago
- Functional Concurrency Primitives☆209Oct 5, 2019Updated 6 years ago
- A quick (get it?) script to run your Quick tests on the commandline.☆10Mar 24, 2015Updated 10 years ago
- ☆10Jan 9, 2016Updated 10 years ago
- A port of Facebook's Flux Dispatcher to Objective-C☆22Feb 26, 2015Updated 11 years ago
- Nimble matchers for LlamaKit.☆22Dec 9, 2017Updated 8 years ago
- A new version of Aldwych that is centred around recursive enums.☆19Sep 18, 2015Updated 10 years ago
- Append-only key-value database☆62Aug 17, 2015Updated 10 years ago
- Recursive Descent Into Madness☆291Oct 31, 2017Updated 8 years ago
- iOS App for smart water bottle☆11Jul 9, 2015Updated 10 years ago
- Liferaft parses Apple build numbers, like `6D1002`.☆11Jan 11, 2018Updated 8 years ago
- debugDescription☆11Sep 9, 2015Updated 10 years ago
- A Swift port of https://github.com/lostincode/kickstarter-pulldown-bouncy☆14Dec 18, 2014Updated 11 years ago
- Mac OS X app for quickly limiting CPU usage of any running process☆13Jun 27, 2016Updated 9 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
- PDF → other☆12May 17, 2015Updated 10 years ago
- Rational number type for Swift☆10Mar 16, 2018Updated 7 years ago
- ☆11May 8, 2014Updated 11 years ago
- A generic API client application for iOS using Hyperdrive.☆28Nov 17, 2015Updated 10 years ago
- Declarative Binary Serialization for Swift Structures☆47Apr 12, 2018Updated 7 years ago
- iOS interface design for macOS app☆24Jun 3, 2020Updated 5 years ago
- Swift DSL for building NSPredicate objects☆26Dec 28, 2015Updated 10 years ago
- 🔦 DarkMode made simple☆12Oct 23, 2023Updated 2 years ago
- The Composition and Decomposition of Software☆13Jul 12, 2015Updated 10 years ago
- Source files used for the Cedille Cast videos☆13Dec 28, 2025Updated 2 months ago