Implementation of join calculus in Objective-C for iOS
☆11Oct 18, 2017Updated 9 years ago
Alternatives and similar repositories for CocoaJoin
Users that are interested in CocoaJoin 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 Vector Clock for iOS / OSX☆18Dec 12, 2013Updated 12 years ago
- ☆10Mar 15, 2022Updated 4 years ago
- 🏃♂️ Natural language activity tracking with GPT-3☆13Jan 9, 2023Updated 3 years ago
- AngularJS based $http circuit-breaker pattern implementation☆12Nov 21, 2013Updated 12 years ago
- High-performance Rust text engine for massive files, with mmap-backed reads, incremental line indexing, and responsive editing.☆13Sep 26, 2026Updated last month
- 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.
- Chord fingering search for string instruments.☆11Nov 7, 2015Updated 10 years ago
- A more flexible mtl☆62Feb 23, 2018Updated 8 years ago
- Clojurescript collaborative coding environment☆13Jun 17, 2017Updated 9 years ago
- Generate cryptographically random values in Elm☆12Jun 13, 2016Updated 10 years ago
- A partial port of Haskell's prelude.hs to GNU Make☆14Dec 7, 2013Updated 12 years ago
- Combinatorial Query language for scala.meta trees.☆14Jan 29, 2015Updated 11 years ago
- Monte Carlo Tree Search (MCTS) Engine in Clojure/Clojurescript. Plays board games.☆10Mar 28, 2018Updated 8 years ago
- A Clojure Plugin for Google Chrome.☆16Jan 14, 2017Updated 9 years ago
- Minimal conforming JSON parser for F#☆12Jun 17, 2017Updated 9 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.
- Self-modifying agentic harness written in common-lisp☆17Aug 29, 2026Updated 2 months ago
- ☆48Mar 14, 2023Updated 3 years ago
- moved to https://github.com/keigoi/Coq4iOS2☆24Oct 25, 2018Updated 8 years ago
- ☆15Jun 11, 2015Updated 11 years ago
- Theory propagator for linear programming using clingo theory language and interface.☆13Dec 2, 2021Updated 4 years ago
- Bash scripts for making screen shot time lapse movies on OS X☆11Dec 5, 2014Updated 11 years ago
- My NaNoGenMo 2014 project: a generative detective comic☆16Nov 22, 2014Updated 11 years ago
- Using fusion to make an accelerator – how ionic☆16Feb 8, 2020Updated 6 years ago
- Attivio Search UI Toolkit (SUIT) is a library for creating search clients for searching the Attivio platform.☆12Oct 6, 2022Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Focal + Redux = ❤️☆17Jul 2, 2017Updated 9 years ago
- Image Jekyll plugin for generating figure/image/caption HTML content☆15Mar 25, 2016Updated 10 years ago
- A concept of a federated skilltree for tracking skills: for self-assessment, self-improvement, skillset representation and exchange☆11Dec 30, 2022Updated 3 years ago
- Convert EPUB format ebook to Honkit&Gitbook website style☆13Jun 12, 2022Updated 4 years ago
- "Vivify" extensions for RoamResearch 😜☆14Mar 5, 2023Updated 3 years ago
- Strassen's Algorithm for Tensor Contraction☆15Jul 7, 2017Updated 9 years ago
- Variational Auto-Encoder based on Roberta encoder.☆12Oct 31, 2020Updated 5 years ago
- ALGAL is a programming language for agents. Programs pause for approvals, survive restarts, replay from recorded effects, and improve thr…☆21Updated this week
- Universal Server-Side Framework. Backend for everyone and everywhere.☆10Sep 9, 2024Updated 2 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.
- An experiment at expressing functors in F# the .NET type system.☆17Dec 8, 2013Updated 12 years ago
- ☆12Jun 1, 2026Updated 4 months ago
- Boilerplate for a Python Flask application, including asset packaging (using Flask-Assets) and common libraries (Backbone, Bootstrap, etc…☆17Jun 22, 2012Updated 14 years ago
- Recursive language-model compute engine☆19Aug 31, 2026Updated last month
- Caribou leverages Notty to generate simple terminal user interfaces.☆17Oct 14, 2023Updated 3 years ago
- Incremental Engine for Standing SPARQL☆14Oct 23, 2016Updated 10 years ago
- Hybrid vectors e.g. mixed boxed/unboxed vectors that are suitable for use with vector-algorithms☆14Aug 29, 2025Updated last year