All Projects → Cql → Similar Projects or Alternatives

100 Open source projects that are alternatives of or similar to Cql

Zio Prelude
A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
Stars: ✭ 267 (+102.27%)
Mutual labels:  category-theory
yql-plus
The YQL+ parser, execution engine, and source SDK.
Stars: ✭ 36 (-72.73%)
Mutual labels:  query-language
Bow
🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
Stars: ✭ 538 (+307.58%)
Mutual labels:  category-theory
Scala typeclassopedia
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.
Stars: ✭ 338 (+156.06%)
Mutual labels:  category-theory
haskerwaul
Category theory concepts in type classes and instances.
Stars: ✭ 16 (-87.88%)
Mutual labels:  category-theory
Ltupatternfactory
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
Stars: ✭ 735 (+456.82%)
Mutual labels:  category-theory
bow-lite
🏹 Bow Lite is a cross-platform library for Typed Functional Programming in Swift
Stars: ✭ 27 (-79.55%)
Mutual labels:  category-theory
Rapidql
Query multiple APIs and DBs and join them in a single query
Stars: ✭ 91 (-31.06%)
Mutual labels:  query-language
mercator
Automatic typeclass-based abstraction over monad-like types
Stars: ✭ 54 (-59.09%)
Mutual labels:  category-theory
Jsquery
JsQuery – json query language with GIN indexing support
Stars: ✭ 474 (+259.09%)
Mutual labels:  query-language
Fp Resources
Functional programming great resources
Stars: ✭ 369 (+179.55%)
Mutual labels:  category-theory
m-custom-functions
This library contains created mostly pure M-functions without any other languages.
Stars: ✭ 24 (-81.82%)
Mutual labels:  query-language
Restql Http
Microservice query language
Stars: ✭ 793 (+500.76%)
Mutual labels:  query-language
Catlab.jl
A framework for applied category theory in the Julia language
Stars: ✭ 324 (+145.45%)
Mutual labels:  category-theory
Tikzcd Editor
A simple visual editor for creating commutative diagrams.
Stars: ✭ 1,627 (+1132.58%)
Mutual labels:  category-theory
groq-cli
Run GROQ in your command line
Stars: ✭ 139 (+5.3%)
Mutual labels:  query-language
Neo4j Python Driver
Neo4j Bolt driver for Python
Stars: ✭ 607 (+359.85%)
Mutual labels:  query-language
CAP project
CAP project -- Categories, Algorithms, and Programming
Stars: ✭ 18 (-86.36%)
Mutual labels:  category-theory
Hypergraphql
GraphQL interface for querying and serving linked data on the Web.
Stars: ✭ 120 (-9.09%)
Mutual labels:  query-language
gsql
GSQL is a structured query language code builder for golang.
Stars: ✭ 106 (-19.7%)
Mutual labels:  query-language
Ferret
Declarative web scraping
Stars: ✭ 4,837 (+3564.39%)
Mutual labels:  query-language
category-parametric-talk
Talks on category-parametric programming.
Stars: ✭ 22 (-83.33%)
Mutual labels:  category-theory
Unplugged
Open book about math and computer science.
Stars: ✭ 1,189 (+800.76%)
Mutual labels:  category-theory
preface
Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.
Stars: ✭ 116 (-12.12%)
Mutual labels:  category-theory
Arrow
Λrrow - Functional companion to Kotlin's Standard Library
Stars: ✭ 4,771 (+3514.39%)
Mutual labels:  category-theory
Joern
Open-source code analysis platform for C/C++/Java based on code property graphs
Stars: ✭ 386 (+192.42%)
Mutual labels:  query-language
twinql
A graph query language for the semantic web
Stars: ✭ 17 (-87.12%)
Mutual labels:  query-language
Purescript Ctprelude
A Prelude with names from category theory
Stars: ✭ 46 (-65.15%)
Mutual labels:  category-theory
Askql
AskQL is a query language that can express any data request
Stars: ✭ 352 (+166.67%)
Mutual labels:  query-language
Pgql Lang
PGQL is an SQL-based query language for the Property Graph data model
Stars: ✭ 114 (-13.64%)
Mutual labels:  query-language
Typedefs
Programming language agnostic type construction language based on polynomials.
Stars: ✭ 337 (+155.3%)
Mutual labels:  category-theory
Fp Core.rs
A library for functional programming in Rust
Stars: ✭ 772 (+484.85%)
Mutual labels:  category-theory
Rascal
The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)
Stars: ✭ 284 (+115.15%)
Mutual labels:  query-language
Ldflex
A JavaScript DSL for querying Linked Data on the Web
Stars: ✭ 123 (-6.82%)
Mutual labels:  query-language
CatsCheatSheet
This project is to contain a listing of common theorems in elementary category theory.
Stars: ✭ 61 (-53.79%)
Mutual labels:  category-theory
Eliasdb
EliasDB a graph-based database.
Stars: ✭ 611 (+362.88%)
Mutual labels:  query-language
typeql
TypeQL: the query language of TypeDB - a strongly-typed database
Stars: ✭ 157 (+18.94%)
Mutual labels:  query-language
Hypergraphql
GraphQL interface for querying and serving linked data on the Web.
Stars: ✭ 112 (-15.15%)
Mutual labels:  query-language
learn-xquery
A list of great articles, blog posts, and books for learning XQuery
Stars: ✭ 33 (-75%)
Mutual labels:  query-language
Category Theory
An axiom-free formalization of category theory in Coq for personal study and practical work
Stars: ✭ 562 (+325.76%)
Mutual labels:  category-theory
percival
📝 Web-based, reactive Datalog notebooks for data analysis and visualization
Stars: ✭ 285 (+115.91%)
Mutual labels:  query-language
Quiver
A modern commutative diagram editor for the web.
Stars: ✭ 1,799 (+1262.88%)
Mutual labels:  category-theory
free-arrow
Implementation of the Free Arrow in Scala and other helpful tools for working with Arrows
Stars: ✭ 14 (-89.39%)
Mutual labels:  category-theory
Atomspace
The OpenCog (hyper-)graph database and graph rewriting system
Stars: ✭ 495 (+275%)
Mutual labels:  query-language
cain
Category theory applied to functional programming (undergraduate project)
Stars: ✭ 27 (-79.55%)
Mutual labels:  category-theory
Fundamental Haskell
Fundamental Haskell book, to the point terse statements on Haskell, Category theory, and related fields. Encyclopedic pocketbook of meaning. Zen kōan-like meditations of understanding. For quick or memory curve spaced repetition learning.
Stars: ✭ 88 (-33.33%)
Mutual labels:  category-theory
vaultaire
Query DSL and data access utilities for Corda developers.
Stars: ✭ 14 (-89.39%)
Mutual labels:  query-language
Plt
λΠ Programming Language Theory
Stars: ✭ 4,609 (+3391.67%)
Mutual labels:  category-theory
ad-lens
Automatic Differentiation using Pseudo Lenses. Neat.
Stars: ✭ 16 (-87.88%)
Mutual labels:  category-theory
Groq
Specification for GROQ - Graph-Relational Object Queries
Stars: ✭ 117 (-11.36%)
Mutual labels:  query-language
DocumentLab
OCR using tesseract, ImageMagick, EmguCV, an advanced query language and a fluent query interface for C#
Stars: ✭ 64 (-51.52%)
Mutual labels:  query-language
Category Theory Programmers
Category theory in the context of (functional) programming
Stars: ✭ 465 (+252.27%)
Mutual labels:  category-theory
AlgebraicRelations.jl
Relational Algebra, now with more algebra!
Stars: ✭ 31 (-76.52%)
Mutual labels:  category-theory
Purescript Selda
A type-safe, high-level SQL library for PureScript
Stars: ✭ 72 (-45.45%)
Mutual labels:  query-language
Awesome Applied Ct
ACT community resources
Stars: ✭ 412 (+212.12%)
Mutual labels:  category-theory
Naive functional programming
A naive approach to functional programming using TypeScript
Stars: ✭ 129 (-2.27%)
Mutual labels:  category-theory
Domains
A computational algebra system in Smalltalk.
Stars: ✭ 124 (-6.06%)
Mutual labels:  category-theory
Foundational Knowledge For Programmers
List of resources about foundational knowledge for programmers (supposed to last a few decades)
Stars: ✭ 115 (-12.88%)
Mutual labels:  category-theory
Milewski Ctfp Pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Stars: ✭ 9,037 (+6746.21%)
Mutual labels:  category-theory
Fluokitten
Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
Stars: ✭ 408 (+209.09%)
Mutual labels:  category-theory
1-60 of 100 similar projects