185 Open source projects that are alternatives of or similar to mercator

A ReasonML/Ocaml library for category theory and abstract algebra

Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns

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

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

Functional programming great resources

A library for functional programming in Rust

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

[W.I.P] A Just-In-Time Java Virtual Machine written in Haskell

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

Examples with Functional JavaScript, following Professor Frisby's course

Starting code and proposed solution for Functional Structures Refactoring Kata

A fluent syntax .NET REST/HTTP API simulator for automated unit and UI testing.

A monadic library to resolve object relations with the aim of avoiding the N+1 query problem.

A "monad" or DSL for creating React components using Fable and F# computation expressions

配置xml通用积分规则计算系统.netcore。通过规则的编排可以完成99%的积分需求

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

Open Source Point of Sale System.

A DSL for the internal language of a topos

This library parses BIND zone files and outputs DNS objects.

Minimize defensive coding. A JavaScript implementation of the Maybe monad.

Category theory formalized in cubical agda

A Testing Framework for LFE (successor to lfeunit)

Category theory concepts in type classes and instances.

Relational Algebra, now with more algebra!

Function.prototype.bind with typings for TypeScript

Cross-platform .NET library for computations whose arguments and results are objects that implement INotifyPropertyChanged and INotifyCollectionChanged (ObservableCollection) interfaces.

Category Theory For Programmers (Bartosz Milewski)

Install and configure dns on your system.

A formalization of category theory in cubical Agda

Functional Programming for EcmaScript(Javascript)

A categorical semantics library in Agda.

Python bind shell single line code for both Unix and Windows, used to find and exploit RCE (ImageMagick, Ghostscript, ...)

Univalent mathematics in Agda

Automatic Differentiation using Pseudo Lenses. Neat.

Scala library for nice business logic oriented, for-comprehension-style error handling

Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]

Dnstap streams receiver in Python

A rust like Result type for modern C++

A simple solution to let you force bind a program to a specific network adapter

A graphical editor for graph-like structures

Monads for Kotlin

Talks on category-parametric programming.

Skin export / import tools for Autodesk Maya

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

A convenient way of processing digital signals in F#

Composition of Functions

Fast strong typed 'Either' data structure for typescript and flow

30分でわかるJavaScriptプログラマのためのモナド入門

Implement monads by specifying instructions and their desired operational semantics.

Free Monad in Java

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

Project Page of Combining 3D Morphable Models: A Large scale Face-and-Head Model - [CVPR 2019]

A Java library that enables applying Functional Programming concepts like currying and partial application for functions, also it supports types like Either, Try, etc... using RxJava 2 interfaces, compatible with Java 7 and above

THIS PACKAGE HAS BEEN DEPRECATED — Automatically bind Eloquent models as route segment variables.

A monadic web scraping library

Convert zone files from the BIND DNS server into configs for djbdns's tinydns

This is a tutorial that aims to demonstrate the practical fundamentals behind using LanguageExt in a fashion though step-by-step tutorials which introduce and then build up on concepts.

An exploratory look into functors, applicatives, and monads for Elixir

Fast, simple Free Monads using ScalaMeta macro annotations. Port of Freasy-Monad.

Category Theory for Programmers の勉強記録