Alternatives and similar repositories for CategoryTheory

Users that are interested in CategoryTheory are comparing it to the libraries listed below

• BartoszMilewski / XOperad

  View on GitHub
  The implementation of tic-tac-toe using an operadic comonad
  ☆11Mar 7, 2021Updated 4 years ago
• google / spindle-dv360

  View on GitHub
  QA dashboard for DV360 advertisers
  ☆13Jan 20, 2021Updated 5 years ago
• google / cpython-pt

  View on GitHub
  Fork from python/cpython
  ☆12Dec 5, 2018Updated 7 years ago
• weaveworks / weavecloud-browser-extension

  View on GitHub
  Browser extension to integrate Grafana dashboards with Weave Cloud
  ☆10Feb 8, 2021Updated 5 years ago
• google / report2bq

  View on GitHub
  ☆13May 6, 2024Updated last year
• google / codeu-starter-project

  View on GitHub
  ☆12Sep 1, 2022Updated 3 years ago
• yell0wd0g / face-detection

  View on GitHub
  ☆12Aug 10, 2016Updated 9 years ago
• upspin / gcp

  View on GitHub
  Google Cloud Platform support for Upspin
  ☆13Apr 20, 2024Updated last year
• GoogleCloudBuild / gcbapp-buildconfig-example

  View on GitHub
  Example used in the Cloud Build GitHub app tutorial
  ☆12Apr 12, 2021Updated 4 years ago
• KengoTODA / guava-helper-for-java-8

  View on GitHub
  A tool set to help developer to use Guava with Java 8
  ☆11Feb 22, 2021Updated 4 years ago
• HQSquantumsimulations / CirqProjectQ

  View on GitHub
  HQS Quantum Simulations' port from ProjectQ to Cirq
  ☆11Sep 4, 2019Updated 6 years ago
• fhinkel / twitch

  View on GitHub
  Code samples from twitch.tv/fhinkel
  ☆11May 21, 2022Updated 3 years ago
• mattbierner / atum

  View on GitHub
  Javascript Interpreter in Functional-Style Javascript
  ☆20Feb 9, 2018Updated 8 years ago
• ayust / pluss

  View on GitHub
  Plus Syndication - an Atom feed proxy for Google+ public post streams.
  ☆25Apr 11, 2019Updated 6 years ago
• atomix / go-sdk

  View on GitHub
  Atomix 4 Go client
  ☆11Jun 27, 2023Updated 2 years ago
• google / speed-opportunity-finder

  View on GitHub
  ☆10Nov 5, 2020Updated 5 years ago
• dekajp / google-closure-grid

  View on GitHub
  Google Closure - Grid
  ☆19Jan 13, 2019Updated 7 years ago
• HTTP-APIs / hydra-flock-demo

  View on GitHub
  The main repository for the Hydra Flock Demo-Simulation
  ☆10Sep 20, 2019Updated 6 years ago
• littledan / proposal-new-initialize

  View on GitHub
  Early draft proposal to support initializing given objects with fields and private methods
  ☆15Mar 3, 2019Updated 6 years ago
• mattr555 / college-crapplication

  View on GitHub
  it's art
  ☆10Jul 29, 2015Updated 10 years ago
• CategoricalData / catdb

  View on GitHub
  Category theory in Coq, by Jason Gross
  ☆16Jan 29, 2015Updated 11 years ago
• BartoszMilewski / Concurrency

  View on GitHub
  ☆50Mar 11, 2020Updated 5 years ago
• CHandmer / water-flow

  View on GitHub
  Algorithm for computing water flow on topo data
  ☆12May 4, 2019Updated 6 years ago
• grant / awesome-apps-script

  View on GitHub
  ☁️A collection of awesome Apps Script tools and libraries
  ☆12Nov 13, 2018Updated 7 years ago
• jsdom / w3c-hr-time

  View on GitHub
  An implementation of the W3C High Resolution Time Level 2 specification.
  ☆11Oct 16, 2022Updated 3 years ago
• google / flight-lab

  View on GitHub
  ☆15Jul 23, 2024Updated last year
• Kevpedia / Habitica-Habit-History-Connector

  View on GitHub
  A Data Studio Connector for your Habitica Habits
  ☆14Apr 29, 2020Updated 5 years ago
• atomix / atomix-controller

  View on GitHub
  Kubernetes controller for Atomix 4
  ☆11Feb 6, 2023Updated 3 years ago
• fredsa / forplay

  View on GitHub
  Automatically exported from code.google.com/p/forplay
  ☆13Mar 27, 2015Updated 10 years ago
• jeffallen / miniv

  View on GitHub
  A C implementation of the minimal subset of Vanadium (vanadium.github.io) needed to send RPCs
  ☆11May 5, 2016Updated 9 years ago
• google / sa360-webquery-bigquery

  View on GitHub
  Tool to import Search Ads 360 Webquery report into BigQuery
  ☆15Jan 25, 2023Updated 3 years ago
• google / splot-java

  View on GitHub
  Splot for Java: An Experimental IoT Machine-to-Machine Library for Monitoring, Control, and Automation
  ☆16Mar 31, 2021Updated 4 years ago
• emacstheviking / gnuprolog-redisclient

  View on GitHub
  A simple but effective pure GNU Prolog client connecting with Redis, no libraries required.
  ☆16Nov 1, 2016Updated 9 years ago
• evmar / j8t

  View on GitHub
  javascript minifier
  ☆15Dec 8, 2022Updated 3 years ago
• pebbe / novas

  View on GitHub
  A Go interface to the Naval Observatory Vector Astrometry Software (NOVAS)
  ☆16Jun 19, 2022Updated 3 years ago
• openconfig / hercules

  View on GitHub
  Published data models for the Hercules vendor-agnostic SDN switch
  ☆12Aug 15, 2020Updated 5 years ago
• chiiph / ESFS

  View on GitHub
  The encrypted steganography filesystem
  ☆43Jan 12, 2011Updated 15 years ago
• google / applied-computing-series

  View on GitHub
  ☆14May 11, 2020Updated 5 years ago
• pibara / MattockFS

  View on GitHub
  MattockFS Computer Forensics File-System
  ☆12Mar 26, 2018Updated 7 years ago