combinators

There are 2 repositories under combinators topic.

glebec / lambda-talk
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
lambda-calculus church-encodings composition functional-programming mathematics theory-of-computation javascript combinatory-logic combinators currying
Language:JavaScript 503
rubico
a-synchronous / rubico
[a]synchronous functional programming
function-composition asynchronous transducers parallel series functional-programming promise async-await node javascript tacit pointfree concurrent iterator async generator combinators monad operator mux
Language:JavaScript 270
parsus
alllex / parsus
Parser-combinators with Multiplatform Kotlin Coroutines
combinators coroutines kotlin kotlin-multiplatform parser
Language:Kotlin 140
finchers-rs / finchers
A combinator library for building asynchronous HTTP services
finch hyper combinators
Language:Rust 57
glennsl / rescript-json-combinators
Combinator library for JSON decoding and encoding.
combinators decoder decoding encoder encoding json rescript
Language:ReScript 44
kongware / ftor
ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.
combinators composition currying functional-programming higher-order-functions hindley-milner immutability javascript lazy-evaluation parametric-polymorphism polymorphism purity recursion row-polymorphism scott-encoding sum-types tagged-unions tuples type-system unification
Language:JavaScript 44
norskeld / sigma
TypeScript parser combinator library for building fast and convenient parsers.
typescript parser-combinators parser combinators parsec hacktoberfest
Language:TypeScript 25
appliedblockchain / assert-combinators
Functional assertion combinators.
flow combinators functional js assert assertions json-schema
Language:TypeScript 24
urbandrone / futils
Utilities for generic functional programming
functional toolset combinators decorators monads monoids lenses trampolines es6
Language:JavaScript 22
hedgehogqa / fsharp-hedgehog-experimental
Hedgehog with batteries included: Auto-generators, extra combinators, and more.
combinators hedgehog property-based-testing testing
Language:F# 18
parsec
okneniz / parsec
Golang parser combinator library inspired by haskell parsec
combinator combinators parsec parser parser-combinator parser-combinators
Language:Go 12
fcracker79 / pycomb
Tcomb port for Python 3
tcomb combinators validation type type-safe
Language:Python 11
haf / FsAttoparsec
A port of Bryan O'Sullivan's attoparsec from Haskell to F#. Nuget: 'Attoparsec'
parsing combinators fsharp attoparsec
Language:F# 9
deviousasti / FSM
Minimalist statemachine library for F#
state-machine minimalist-library combinators
Language:F# 8
tudo-seal / CLS-CAD
Automated CAD assembly generation based on Combinatory Logic Synthesis.
3d cad combinatorics combinators fusion360
Language:Python 8
slogsdon / sap
A toolkit for Plug applications to accept and respond to HTTP requests by using a decision tree built with combinators
elixir plug combinators
Language:Elixir 7
1Computer1 / hectoparsec
Flexible and powerful parser combinators for Haskell
parser parser-combinators haskell lexer stream combinators
Language:Haskell 6
archanpatkar / ChurchEncodings
λ Lambda Calculus Encodings
functional-programming functions lambda-calculus lambda-abstractions currying python functional-python boolean numbers functional-data-structure combinators
Language:Python 6
maxdeliso / typed-ski
SKI combinators in Typescript
combinators functional-programming ski
Language:TypeScript 6
heltc
helvm / heltc
🎓 🏫 HelTC - Haskellish Esoteric Lambda True Calculator to Esoteric Languages implemented in Haskell
calculator combinator combinators combinatory-logic esoteric-assembler lambda lambda-calculus
Language:Haskell 5
eugeneia / soundlab
Lazy signal synthesis based on combinators.
signal-processing synthesis combinators audio
Language:Common Lisp 4
mgadda / swift-parse
A small parser combinator library written in Swift 5
swift parser parse combinators
Language:Swift 4
ununknown
tkaden4 / ununknown
Typesafe data validation combinators for typescript/javascript.
data-validation types typesafe combinators javascript-library typescript-library
Language:TypeScript 4
bubble-07 / FETISH-RS
(F)unctional (E)mbedding of (T)erms (I)n a (S)patial (H)ierarchy -- as a Rust crate!
embedding functional-programming embedding-vectors machine-learning interpreter interpreters combinators artificial-intelligence
Language:Rust 3
i-am-tom / neopreen
A formatting library to complement the neo4j-driver package.
combinators formatter neo4j neo4j-driver
Language:JavaScript 3
macabeus / ElixirRegexpParser
A simple project to parse regexp with parser combinator
regexp regex elixir parser combinators
Language:Elixir 3
michpara / CSI3120-Programming-Language-Concepts
Labs and Assignments for Programming Language Concepts
ocaml types inductive-data-types data-abstraction modularity mutable-data functional-imperative poly-high-order oop syntax-semantics conccurent-distributed combinators pipelines scripting scope procedure storage-management control-sequential
Language:OCaml 3
SystemsBioinformatics / parcr
Construct parser combinators in R
combinators higher-order-functions parser parsing r-package
Language:HTML 3
writeonly / catculator
Lambda Calculus Calculator and Combinators Calculus Calculator with Portable Scala Cats and other TypeLeves libraries
combinators lambda lambda-calculus writeonly combinators-calculus calculus catculus lambda-calculus-evaluator cats
Language:Scala 3
afmika / lambda-calculus
Perform computation using purely abstract λ-functions
birds combinators javascript lambda lambda-calculus lambda-calculus-evaluator church-encoding
Language:JavaScript 2
astynax / elm-charart
A small set of combinators for the ASCII-Art generation.
elm-lang ascii-art combinators
Language:Elm 2
evansmal / pegpp
A PEG parser generator written in C++20.
cpp20 parser combinators peg cpp parsing-expression-grammars pegpp compilers cplusplus
Language:C++ 2
hradecek / Lambda-Calculus-and-Combinators
Exercises and solutions on *Lambda Calculus* and *Combinators* topic
lambda-calculus combinators exercises
2
jutaro / YCombinator
Excercises from riddle book "To mock a Mockingbird"
combinators mock-a-mockingbird
Language:Idris 2
naderghanbari / cl-scala
Simple Combinatory Logic and Lambda Calculus in Scala
combinatory-logic scala combinators lambda-calculus ast repl parser-combinators
Language:Scala 2
neu-rah / paco
JavaScript monadic parser combinators
parser combinators functional-js monadic meta-parser grammar
Language:JavaScript 2