142 Open source projects that are alternatives of or similar to Awesome Applied Ct

📎 A curated list of awesome project development links

A curated list of awesome dev podcast around the globe

Implementation of the Free Arrow in Scala and other helpful tools for working with Arrows

A curated list of resources for all arts glitch.

💬 A list of End-to-End speech recognition, including papers, codes and other materials

Discover new developer tools 🧰

Awesome Firefox Extensions

A framework for applied category theory in the Julia language

A curated list of curated lists.

Category theory applied to functional programming (undergraduate project)

Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.

Awesome Games

📚🔥A curated list of awesome resources : nuxtjs communities, articles, videos about using Nuxt.js (Nuxt.js is a framework for creating Universal Vue.js Applications.)

A curated list of animes every developer should watch.

Programming language agnostic type construction language based on polynomials.

A curated list of official APIs owned by government of India.

🍀 Ever wondered who's doing Django... in Berlin?

A curated list of Trump Driven Development

A collection of useful Symfony snippets.

A curated list of python programming language blogs

DeFi Developer roadmap is a curated Web3.0 Developer handbook which includes a list of the best tools for DApps, development resources and lifehacks.

💁‍♂️ Hand picked collection of packages, tutorials and more for React Native.

An awesome curated list of the most recent QA job openings in Portugal 🇵🇹 updated every day! 🆕

A Curated List of Python Resources for Earth Sciences

Talks on category-parametric programming.

A curated collection about NFTs - by bt3gl

Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski

🏹 Bow Lite is a cross-platform library for Typed Functional Programming in Swift

Relational Algebra, now with more algebra!

Abstractions and constructions from math (Category theory, Abstract algebra) implementations in Scala, minimal description, links to good explanations, links to implementations in other FP languages: Haskell, Idris, Purescript, non FP too: Java, C++ and to formalizations in proof assistants: Coq (UniMath, HoTT book), Cubical Agda.

Good info about DeepWeb and OSINT

CAP project -- Categories, Algorithms, and Programming

Curated list of awesome macOS apps

Functional programming great resources

A graphical editor for graph-like structures

🛠 Curated list of Performance Testing Tools ⚡ All contributions are welcome 💜

C3T: Crash Course Category Theory - A friendly non-mathematician's approach to beginners of Category Theory. 🐱

📚 Curated collection of good reading about VFX and CG

A collection of papers, codes, projects, tutorials ... for Knowledge Graph and other NLP methods

A curated lists of self-taught materials including blogs of researchers, institutes, corporation and others.

Category Theory For Programmers (Bartosz Milewski)

A curated list of inclusive events/projects/initiatives for women in the tech area. 💝

Awesome Podcasts

Curated list of websites and resources to find work programming

A formalization of category theory in cubical Agda

A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration

A categorical semantics library in Agda.

Curated list of frequently used annotations in Spring Boot applications

Univalent mathematics in Agda

Curated list of awesome GAN applications and demo

A DSL for the internal language of a topos

Automatic typeclass-based abstraction over monad-like types

Category theory formalized in cubical agda

This project is to contain a listing of common theorems in elementary category theory.

Automatic Differentiation using Pseudo Lenses. Neat.

Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.

A CS degree with a focus on full-stack ML engineering, 2020

Awesome Blogs

A curated list of awesome Node providers and public PRC endpoints for Ethereum, BSC, xDAI, Fantom, Avalanche and more :)

Category theory concepts in type classes and instances.