Tesseract’s evaluation and type system.
☆30May 2, 2015Updated 11 years ago
Alternatives and similar repositories for TesseractCore
Users that are interested in TesseractCore are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An implementation of a dependently-typed intermediate language used by Tesseract.☆30Jan 1, 2016Updated 10 years ago
- Lazy streams in Swift.☆82Nov 2, 2015Updated 10 years ago
- ☆20Apr 17, 2018Updated 8 years ago
- Binary trees in Swift.☆25Oct 15, 2019Updated 6 years ago
- Recursive Descent Into Madness☆291Oct 31, 2017Updated 8 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Materials for my Pragma 2015 workshop on reactive programming☆37Oct 14, 2015Updated 10 years ago
- for Xcode☆62Jul 3, 2015Updated 10 years ago
- If I had my druthers....a programming language made during Khan Academy's 2014 Hack Week.☆15Jan 26, 2015Updated 11 years ago
- A small CocoaPod to print a debug banner for Cocoa.☆12Apr 19, 2015Updated 11 years ago
- A small framework that makes UIImage accessible☆23Jun 4, 2016Updated 9 years ago
- Swift library of lightweight interfaces for prototyping, bridged to JS☆229Jun 21, 2016Updated 9 years ago
- A library for communicating with OpenRadar.☆21Sep 14, 2016Updated 9 years ago
- ☆10Jan 9, 2016Updated 10 years ago
- ☆126Sep 7, 2015Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Append-only key-value database☆62Aug 17, 2015Updated 10 years ago
- Symbolicate for OS X☆25Sep 10, 2017Updated 8 years ago
- Source files used for the Cedille Cast videos☆13Dec 28, 2025Updated 4 months ago
- Pretty much only a Lens☆46Nov 14, 2016Updated 9 years ago
- More Experiments in Functional View Controllers☆135May 20, 2015Updated 10 years ago
- ☆17Oct 28, 2015Updated 10 years ago
- Multi-way bindings for ReactiveCocoa☆50Feb 15, 2016Updated 10 years ago
- A Swift framework for the GitHub API☆254Jun 21, 2023Updated 2 years ago
- Mac OS X app for quickly limiting CPU usage of any running process☆13Jun 27, 2016Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Let's make Swift scripting a reality.☆164Oct 19, 2015Updated 10 years ago
- ☆11May 8, 2014Updated 11 years ago
- Functional Concurrency Primitives☆208Oct 5, 2019Updated 6 years ago
- OS X demo for ReactiveAnimation☆39Mar 23, 2015Updated 11 years ago
- Declarative Binary Serialization for Swift Structures☆47Apr 12, 2018Updated 8 years ago
- iOS interface design for macOS app☆24Jun 3, 2020Updated 5 years ago
- Swift µframework for creating state machines☆306Jun 30, 2017Updated 8 years ago
- A port of Facebook's Flux Dispatcher to Objective-C☆22Feb 26, 2015Updated 11 years ago
- 🔦 DarkMode made simple☆12Oct 23, 2023Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Generic model framework☆163May 11, 2016Updated 9 years ago
- ☆46Mar 2, 2016Updated 10 years ago
- Introspectable Contracts Programming for JavaScript☆13Jan 6, 2017Updated 9 years ago
- Simple Socket library in Swift☆14Jul 1, 2016Updated 9 years ago
- Sample applications showing the usage of the SmokeFramework and related libraries.☆21Apr 5, 2023Updated 3 years ago
- Swift DSL for building NSPredicate objects☆26Dec 28, 2015Updated 10 years ago
- SwiftyBones for Swift 3☆13Feb 8, 2017Updated 9 years ago