combinators

There are 1 repository 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 531
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 283
ts.data.json
joanllenas / ts.data.json
A lightweight JSON decoding library for TypeScript
json decoding combinators modular validation parsing data-validation validator schema-validation
Language:TypeScript 212
parsus
alllex / parsus
Parser-combinators with Multiplatform Kotlin Coroutines
kotlin coroutines parser combinators kotlin-multiplatform
Language:Kotlin 161
parsebox
sinclairzx81 / parsebox
Parser Combinators in the TypeScript Type System
combinators parser type-system typescript
Language:TypeScript 101
finchers-rs / finchers
A combinator library for building asynchronous HTTP services
finch hyper combinators
Language:Rust 58
glennsl / rescript-json-combinators
Combinator library for JSON decoding and encoding.
combinators decoder decoding encoder encoding json rescript
Language:ReScript 46
norskeld / sigma
TypeScript parser combinator library for building fast and convenient parsers.
typescript parser-combinators parser combinators parsec hacktoberfest
Language:TypeScript 28
appliedblockchain / assert-combinators
Functional assertion combinators.
flow combinators functional js assert assertions json-schema
Language:TypeScript 24
hedgehogqa / fsharp-hedgehog-experimental
Hedgehog with batteries included: Auto-generators, extra combinators, and more.
combinators hedgehog property-based-testing testing
Language:F# 24
urbandrone / futils
Utilities for generic functional programming
functional toolset combinators decorators monads monoids lenses trampolines es6
Language:JavaScript 22
jub0bs / iterutil
an experimental collection of utility functions (sources, combinators, sinks) for working with Go iterators
go golang iterator functional-programming generics generics-in-golang combinators functions
Language:Go 17
parsec
okneniz / parsec
Golang parser combinator library inspired by haskell parsec
combinator combinators parsec parser parser-combinator parser-combinators
Language:Go 17
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# 10
typed-ski
maxdeliso / typed-ski
SKI combinators in TypeScript
combinators functional-programming ski
Language:TypeScript 10
tudo-seal / CLS-CAD
Automated CAD assembly generation based on Combinatory Logic Synthesis.
3d cad combinatorics combinators fusion360
Language:Python 10
dallaylaen / ski-interpreter
Combinatory logic and lambda calculus parser and interpreter in plain JS. Supports SKI, BCKW, Church numerals, defining own combinators, λ ↔ SK conversions, and more. An HTML playground and quest page included.
church-numerals combinators combinators-calculus functional-programming playground tutorials
Language:JavaScript 9
deviousasti / FSM
Minimalist statemachine library for F#
state-machine minimalist-library combinators
Language:F# 8
heltc
helvm / heltc
🎓 🏫 HelTC - Haskellish Esoteric Lambda True Calculator to Esoteric Languages implemented in Haskell
calculator esoteric-assembler lambda lambda-calculus combinator combinators combinatory-logic
Language:Haskell 8
eugeneia / soundlab
Lazy signal synthesis based on combinators.
signal-processing synthesis combinators audio
Language:Common Lisp 7
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
combinators haskell lexer parser parser-combinators stream
Language:Haskell 6
colltoaction / mlir-inet-dialect
Inet is an MLIR dialect for interaction nets
calculus combinators interaction-nets mlir mlir-dialect
Language:LLVM 6
SystemsBioinformatics / parcr
Construct parser combinators in R
parsing combinators higher-order-functions parser r-package
Language:HTML 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 5
hpb0412 / odin-mpc
A binding to the mpc library for the Odin programming language.
odin odin-lang combinators parser parser-combinators
Language:Odin 4
jmpavlick / q
Deeply-nested optional-property record accessor combinators for the real world.
combinators optional-chaining qqqqq
Language:Elm 4
jutaro / YCombinator
Excercises from riddle book "To mock a Mockingbird"
combinators mock-a-mockingbird
Language:Idris 4
mgadda / swift-parse
A small parser combinator library written in Swift 5
combinators parse parser swift
Language:Swift 4
ununknown
tkaden4 / ununknown
Typesafe data validation combinators for typescript/javascript.
combinators data-validation javascript-library types typesafe typescript-library
Language:TypeScript 4
andjhop / llk
A parser combinator library for building LL(*) parsers
combinators functional-programming lexing parsing-library go parser
Language:Go 3
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
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
typemeta / context
Context is a zero-dependency Java library that provides a combinator framework for building extractors, that can read values from a context, and injectors, that can write values into a context.
combinators java
Language:Java 3
writeonly / catculator
Lambda Calculus Calculator and Combinators Calculus Calculator with Portable Scala Cats and other TypeLeves libraries
calculus catculus cats combinators combinators-calculus lambda lambda-calculus lambda-calculus-evaluator writeonly
Language:Scala 3

combinators

glebec / lambda-talk

a-synchronous / rubico

joanllenas / ts.data.json

alllex / parsus

sinclairzx81 / parsebox

finchers-rs / finchers

glennsl / rescript-json-combinators

norskeld / sigma

appliedblockchain / assert-combinators

hedgehogqa / fsharp-hedgehog-experimental

urbandrone / futils

jub0bs / iterutil

okneniz / parsec

fcracker79 / pycomb

haf / FsAttoparsec

maxdeliso / typed-ski

tudo-seal / CLS-CAD

dallaylaen / ski-interpreter

deviousasti / FSM

helvm / heltc

eugeneia / soundlab

slogsdon / sap

1Computer1 / hectoparsec

colltoaction / mlir-inet-dialect

SystemsBioinformatics / parcr

archanpatkar / ChurchEncodings

hpb0412 / odin-mpc

jmpavlick / q

jutaro / YCombinator

mgadda / swift-parse

tkaden4 / ununknown

andjhop / llk

bubble-07 / FETISH-RS

michpara / CSI3120-Programming-Language-Concepts

typemeta / context

writeonly / catculator