stjordanis Goto Github PK

catalyst-toolbox

Catalyst Tools, cli's and scripts related

catalysts

catanatron

Fast Settlers of Catan Python implementation and strong AI player.

catapult-server

Catapult server

catblock

CatBlock - An ad-blocking extension (with an ability to replace ads by pictures) for all major desktop browsers!

catboost

A fast, scalable, high performance Gradient Boosting on Decision Trees library, used for ranking, classification, regression and other machine learning tasks for Python, R, Java, C++. Supports computation on CPU and GPU.

catchit

Source code secret scanner

categorical-distance

:triangular_ruler: Compare categorical variables

categorical_stochastic_processes_and_likelihood

Code to accompany the "Categorical Stochastic Processes and Likelihood" (planned for submission to ACT 2020)

categoricalarrays.jl

Arrays for working with categorical data (both nominal and ordinal)

categories

Categories parametrized by morphism equality, in Agda

category-theory

An axiom-free formalization of category theory in Coq for personal study and practical work

category-theory-1

awoooodeyyyy

category-theory-for-dotnet-programmers

This repo contains all c++ / haskell samples from Bartosz Milewski's book (Category Theory for Programmers) converted to csharp and fsharp

category-theory-programmers

Category theory in the context of (functional) programming

category-theory-resources

Resources for learning Category Theory for an enthusiast

catgan

Generative Adversarial Network (GAN) that generates cat faces using Google's Quick, Draw! dataset 🤖 😺

cation

Electron's PR monitoring bot

catkin_ws_user

catlab.jl

An experimental framework for applied category theory

catnapp

the Categorical Nearly Automatic Property Prover

catonmat.net

The new catonmat.net website.

cats

Lightweight, modular, and extensible library for functional programming.

cats-1

Category Theory and Algebraic abstractions for Clojure and ClojureScript.

cats-collections

Data structures for pure functional programming in Scala

cats-effect

The IO monad for Scala

cats-mtl

cats transformer type classes.

cats-par

Abstract Type Member Parallel Instances

cats-retry

cats-scalacheck

Cats Instances For Scalacheck