Implementation of join calculus in Objective-C for iOS
☆11Oct 18, 2017Updated 8 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:
- 🏃♂️ Natural language activity tracking with GPT-3☆13Jan 9, 2023Updated 3 years ago
- An implementation of a Vector Clock for iOS / OSX☆18Dec 12, 2013Updated 12 years ago
- ☆10Mar 15, 2022Updated 4 years ago
- Generate cryptographically random values in Elm☆12Jun 13, 2016Updated 10 years ago
- A more flexible mtl☆62Feb 23, 2018Updated 8 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.
- Clojurescript collaborative coding environment☆13Jun 17, 2017Updated 9 years ago
- An experiment at expressing functors in F# the .NET type system.☆17Dec 8, 2013Updated 12 years ago
- ☆48Mar 14, 2023Updated 3 years ago
- Strassen's Algorithm for Tensor Contraction☆15Jul 7, 2017Updated 9 years ago
- Minimal conforming JSON parser for F#☆12Jun 17, 2017Updated 9 years ago
- Monte Carlo Tree Search (MCTS) Engine in Clojure/Clojurescript. Plays board games.☆10Mar 28, 2018Updated 8 years ago
- Combinatorial Query language for scala.meta trees.☆14Jan 29, 2015Updated 11 years ago
- Bash scripts for making screen shot time lapse movies on OS X☆11Dec 5, 2014Updated 11 years ago
- Focal + Redux = ❤️☆17Jul 2, 2017Updated 9 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.
- ☆15Jun 11, 2015Updated 11 years ago
- Universal Server-Side Framework. Backend for everyone and everywhere.☆10Sep 9, 2024Updated last year
- Variational Auto-Encoder based on Roberta encoder.☆12Oct 31, 2020Updated 5 years ago
- "Vivify" extensions for RoamResearch 😜☆14Mar 5, 2023Updated 3 years ago
- A Clojure Plugin for Google Chrome.☆16Jan 14, 2017Updated 9 years ago
- moved to https://github.com/keigoi/Coq4iOS2☆24Oct 25, 2018Updated 7 years ago
- Unity Game developed in F#, embracing functional programming paradigms. Rose-Hulman Senior Project Repository☆19May 28, 2020Updated 6 years ago
- Attivio Search UI Toolkit (SUIT) is a library for creating search clients for searching the Attivio platform.☆12Oct 6, 2022Updated 3 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
- 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.
- My NaNoGenMo 2014 project: a generative detective comic☆16Nov 22, 2014Updated 11 years ago
- Graphing Scrubbing Calculator☆11Nov 27, 2017Updated 8 years ago
- Caribou leverages Notty to generate simple terminal user interfaces.☆17Oct 14, 2023Updated 2 years ago
- Using fusion to make an accelerator – how ionic☆16Feb 8, 2020Updated 6 years ago
- ☆12Jun 1, 2026Updated last month
- An Objective-C/Swift bindings for LevelDB.☆12Sep 14, 2014Updated 11 years 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
- Configuration in ClojureScript for the OSX window manager Phoenix☆18Mar 2, 2025Updated last year
- ☆45Mar 8, 2025Updated last year
- 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.
- Natural Language Datalog☆139Nov 26, 2017Updated 8 years ago
- ☆18Sep 15, 2013Updated 12 years ago
- Hybrid vectors e.g. mixed boxed/unboxed vectors that are suitable for use with vector-algorithms☆14Aug 29, 2025Updated 10 months ago
- tiny spreadsheet language with ambiguous values☆11Mar 29, 2024Updated 2 years ago
- Stochastic gradient descent Haskell library☆13Jun 24, 2024Updated 2 years ago
- Resources for Scala learners who only know dynamic languages☆11Jun 20, 2018Updated 8 years ago
- MonoDevelop Lua binding☆18Nov 5, 2013Updated 12 years ago