Zio PreludeA lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
Stars: ✭ 267 (+102.27%)
yql-plusThe YQL+ parser, execution engine, and source SDK.
Stars: ✭ 36 (-72.73%)
Bow🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
Stars: ✭ 538 (+307.58%)
Scala typeclassopediaAbstractions 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%)
haskerwaulCategory theory concepts in type classes and instances.
Stars: ✭ 16 (-87.88%)
LtupatternfactoryLambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
Stars: ✭ 735 (+456.82%)
bow-lite🏹 Bow Lite is a cross-platform library for Typed Functional Programming in Swift
Stars: ✭ 27 (-79.55%)
RapidqlQuery multiple APIs and DBs and join them in a single query
Stars: ✭ 91 (-31.06%)
mercatorAutomatic typeclass-based abstraction over monad-like types
Stars: ✭ 54 (-59.09%)
JsqueryJsQuery – json query language with GIN indexing support
Stars: ✭ 474 (+259.09%)
Fp ResourcesFunctional programming great resources
Stars: ✭ 369 (+179.55%)
m-custom-functionsThis library contains created mostly pure M-functions without any other languages.
Stars: ✭ 24 (-81.82%)
Restql HttpMicroservice query language
Stars: ✭ 793 (+500.76%)
Catlab.jlA framework for applied category theory in the Julia language
Stars: ✭ 324 (+145.45%)
Tikzcd EditorA simple visual editor for creating commutative diagrams.
Stars: ✭ 1,627 (+1132.58%)
groq-cliRun GROQ in your command line
Stars: ✭ 139 (+5.3%)
CAP projectCAP project -- Categories, Algorithms, and Programming
Stars: ✭ 18 (-86.36%)
HypergraphqlGraphQL interface for querying and serving linked data on the Web.
Stars: ✭ 120 (-9.09%)
gsqlGSQL is a structured query language code builder for golang.
Stars: ✭ 106 (-19.7%)
FerretDeclarative web scraping
Stars: ✭ 4,837 (+3564.39%)
UnpluggedOpen book about math and computer science.
Stars: ✭ 1,189 (+800.76%)
prefacePreface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.
Stars: ✭ 116 (-12.12%)
ArrowΛrrow - Functional companion to Kotlin's Standard Library
Stars: ✭ 4,771 (+3514.39%)
JoernOpen-source code analysis platform for C/C++/Java based on code property graphs
Stars: ✭ 386 (+192.42%)
twinqlA graph query language for the semantic web
Stars: ✭ 17 (-87.12%)
AskqlAskQL is a query language that can express any data request
Stars: ✭ 352 (+166.67%)
Pgql LangPGQL is an SQL-based query language for the Property Graph data model
Stars: ✭ 114 (-13.64%)
TypedefsProgramming language agnostic type construction language based on polynomials.
Stars: ✭ 337 (+155.3%)
Fp Core.rsA library for functional programming in Rust
Stars: ✭ 772 (+484.85%)
RascalThe implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)
Stars: ✭ 284 (+115.15%)
LdflexA JavaScript DSL for querying Linked Data on the Web
Stars: ✭ 123 (-6.82%)
CatsCheatSheetThis project is to contain a listing of common theorems in elementary category theory.
Stars: ✭ 61 (-53.79%)
EliasdbEliasDB a graph-based database.
Stars: ✭ 611 (+362.88%)
typeqlTypeQL: the query language of TypeDB - a strongly-typed database
Stars: ✭ 157 (+18.94%)
HypergraphqlGraphQL interface for querying and serving linked data on the Web.
Stars: ✭ 112 (-15.15%)
learn-xqueryA list of great articles, blog posts, and books for learning XQuery
Stars: ✭ 33 (-75%)
Category TheoryAn axiom-free formalization of category theory in Coq for personal study and practical work
Stars: ✭ 562 (+325.76%)
percival📝 Web-based, reactive Datalog notebooks for data analysis and visualization
Stars: ✭ 285 (+115.91%)
QuiverA modern commutative diagram editor for the web.
Stars: ✭ 1,799 (+1262.88%)
free-arrowImplementation of the Free Arrow in Scala and other helpful tools for working with Arrows
Stars: ✭ 14 (-89.39%)
AtomspaceThe OpenCog (hyper-)graph database and graph rewriting system
Stars: ✭ 495 (+275%)
cainCategory theory applied to functional programming (undergraduate project)
Stars: ✭ 27 (-79.55%)
Fundamental HaskellFundamental 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%)
vaultaireQuery DSL and data access utilities for Corda developers.
Stars: ✭ 14 (-89.39%)
PltλΠ Programming Language Theory
Stars: ✭ 4,609 (+3391.67%)
ad-lensAutomatic Differentiation using Pseudo Lenses. Neat.
Stars: ✭ 16 (-87.88%)
GroqSpecification for GROQ - Graph-Relational Object Queries
Stars: ✭ 117 (-11.36%)
DocumentLabOCR using tesseract, ImageMagick, EmguCV, an advanced query language and a fluent query interface for C#
Stars: ✭ 64 (-51.52%)
Purescript SeldaA type-safe, high-level SQL library for PureScript
Stars: ✭ 72 (-45.45%)
DomainsA computational algebra system in Smalltalk.
Stars: ✭ 124 (-6.06%)
Milewski Ctfp PdfBartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Stars: ✭ 9,037 (+6746.21%)
FluokittenCategory theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
Stars: ✭ 408 (+209.09%)