Topic: "combinators"
glebec/lambda-talk
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
Language: JavaScript - Size: 476 KB - Last synced at: 6 months ago - Pushed at: about 1 year ago - Stars: 514 - Forks: 42
a-synchronous/rubico
[a]synchronous functional programming
Language: JavaScript - Size: 4.17 MB - Last synced at: 1 day ago - Pushed at: about 1 month ago - Stars: 279 - Forks: 15
joanllenas/ts.data.json Fork of aische/JsonDecoder
A lightweight JSON decoding library for TypeScript
Language: TypeScript - Size: 677 KB - Last synced at: 3 days ago - Pushed at: about 1 month ago - Stars: 209 - Forks: 16
alllex/parsus
Parser-combinators with Multiplatform Kotlin Coroutines
Language: Kotlin - Size: 538 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 133 - Forks: 4
sinclairzx81/parsebox
Parser Combinators in the TypeScript Type System
Language: TypeScript - Size: 1.15 MB - Last synced at: 17 days ago - Pushed at: 18 days ago - Stars: 80 - Forks: 2
finchers-rs/finchers π¦
A combinator library for building asynchronous HTTP services
Language: Rust - Size: 2.99 MB - Last synced at: 26 days ago - Pushed at: about 6 years ago - Stars: 58 - Forks: 2
glennsl/rescript-json-combinators
Combinator library for JSON decoding and encoding.
Language: ReScript - Size: 52.7 KB - Last synced at: 2 days ago - Pushed at: about 1 year ago - Stars: 46 - Forks: 6
kongware/ftor
ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.
Language: JavaScript - Size: 1.09 MB - Last synced at: 12 months ago - Pushed at: about 7 years ago - Stars: 44 - Forks: 1
norskeld/sigma
TypeScript parser combinator library for building fast and convenient parsers.
Language: TypeScript - Size: 1.82 MB - Last synced at: 17 days ago - Pushed at: 10 months ago - Stars: 28 - Forks: 4
hedgehogqa/fsharp-hedgehog-experimental
Hedgehog with batteries included: Auto-generators, extra combinators, and more.
Language: F# - Size: 470 KB - Last synced at: 6 days ago - Pushed at: 25 days ago - Stars: 24 - Forks: 8
appliedblockchain/assert-combinators
Functional assertion combinators.
Language: TypeScript - Size: 253 KB - Last synced at: about 14 hours ago - Pushed at: about 1 year ago - Stars: 24 - Forks: 2
urbandrone/futils
Utilities for generic functional programming
Language: JavaScript - Size: 9.58 MB - Last synced at: 3 days ago - Pushed at: about 2 years ago - Stars: 22 - Forks: 0
Lipovsky/await
Concurrency for C++: executors + stackful fibers + lazy futures + cancellation
Last synced at: almost 2 years ago - Stars: 21 - Forks: 8
jub0bs/iterutil
an experimental collection of utility functions (sources, combinators, sinks) for working with Go iterators
Language: Go - Size: 133 KB - Last synced at: 3 days ago - Pushed at: 3 months ago - Stars: 14 - Forks: 1
okneniz/parsec
Golang parser combinator library inspired by haskell parsec
Language: Go - Size: 172 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 13 - Forks: 0
fcracker79/pycomb
Tcomb port for Python 3
Language: Python - Size: 71.3 KB - Last synced at: 1 day ago - Pushed at: over 4 years ago - Stars: 11 - Forks: 0
tudo-seal/CLS-CAD
Automated CAD assembly generation based on Combinatory Logic Synthesis.
Language: Python - Size: 3.3 MB - Last synced at: 9 days ago - Pushed at: 21 days ago - Stars: 10 - Forks: 3
haf/FsAttoparsec Fork of pocketberserker/FsAttoparsec
A port of Bryan O'Sullivan's attoparsec from Haskell to F#. Nuget: 'Attoparsec'
Language: F# - Size: 11.6 MB - Last synced at: about 5 hours ago - Pushed at: about 7 years ago - Stars: 10 - Forks: 0
maxdeliso/typed-ski
SKI combinators in Typescript
Language: TypeScript - Size: 634 KB - Last synced at: 1 day ago - Pushed at: about 1 month ago - Stars: 9 - Forks: 0
deviousasti/FSM
Minimalist statemachine library for F#
Language: F# - Size: 105 KB - Last synced at: about 1 month ago - Pushed at: over 12 years ago - Stars: 8 - Forks: 0
slogsdon/sap
A toolkit for Plug applications to accept and respond to HTTP requests by using a decision tree built with combinators
Language: Elixir - Size: 38.1 KB - Last synced at: 23 days ago - Pushed at: over 7 years ago - Stars: 7 - Forks: 0
1Computer1/hectoparsec
Flexible and powerful parser combinators for Haskell
Language: Haskell - Size: 482 KB - Last synced at: 12 days ago - Pushed at: about 3 years ago - Stars: 6 - Forks: 0
helvm/heltc
π π« HelTC - Haskellish Esoteric Lambda True Calculator to Esoteric Languages implemented in Haskell
Language: Haskell - Size: 647 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 5 - Forks: 0
archanpatkar/ChurchEncodings
Ξ» Lambda Calculus Encodings
Language: Python - Size: 20.5 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 5 - Forks: 0
eugeneia/soundlab
Lazy signal synthesis based on combinators.
Language: Common Lisp - Size: 1.43 MB - Last synced at: 28 days ago - Pushed at: over 9 years ago - Stars: 5 - Forks: 0
SystemsBioinformatics/parcr
Construct parser combinators in R
Language: HTML - Size: 588 KB - Last synced at: 10 days ago - Pushed at: 11 months ago - Stars: 4 - Forks: 0
mgadda/swift-parse
A small parser combinator library written in Swift 5
Language: Swift - Size: 101 KB - Last synced at: 9 days ago - Pushed at: about 1 year ago - Stars: 4 - Forks: 3
tkaden4/ununknown
Typesafe data validation combinators for typescript/javascript.
Language: TypeScript - Size: 855 KB - Last synced at: 1 day ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 0
dallaylaen/ski-interpreter
Combinatory logic interpreter
Language: JavaScript - Size: 834 KB - Last synced at: 16 days ago - Pushed at: 16 days ago - Stars: 3 - Forks: 1
hpb0412/odin-mpc
A binding to the mpc library for the Odin programming language.
Language: Odin - Size: 4.88 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 3 - Forks: 1
jmpavlick/q
Deeply-nested optional-property record accessor combinators for the real world.
Language: Elm - Size: 44.9 KB - Last synced at: 4 days ago - Pushed at: 3 months ago - Stars: 3 - Forks: 1
writeonly/catculator
Lambda Calculus Calculator and Combinators Calculus Calculator with Portable Scala Cats and other TypeLeves libraries
Language: Scala - Size: 165 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 3 - Forks: 0
bubble-07/FETISH-RS
(F)unctional (E)mbedding of (T)erms (I)n a (S)patial (H)ierarchy -- as a Rust crate!
Language: Rust - Size: 1.44 MB - Last synced at: 21 days ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 0
i-am-tom/neopreen π¦
A formatting library to complement the neo4j-driver package.
Language: JavaScript - Size: 11.7 KB - Last synced at: 3 days ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 2
macabeus/ElixirRegexpParser
A simple project to parse regexp with parser combinator
Language: Elixir - Size: 13.7 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 3 - Forks: 1
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.
Language: Java - Size: 242 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 2 - Forks: 0
astynax/elm-charart
A small set of combinators for the ASCII-Art generation.
Language: Elm - Size: 29.3 KB - Last synced at: 14 days ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0
michpara/CSI3120-Programming-Language-Concepts
Labs and Assignments for Programming Language Concepts
Language: OCaml - Size: 50.8 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 2
neu-rah/paco
JavaScript monadic parser combinators
Language: JavaScript - Size: 423 KB - Last synced at: 15 days ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0
naderghanbari/cl-scala
Simple Combinatory Logic and Lambda Calculus in Scala
Language: Scala - Size: 304 KB - Last synced at: over 1 year ago - Pushed at: about 6 years ago - Stars: 2 - Forks: 0
jutaro/YCombinator
Excercises from riddle book "To mock a Mockingbird"
Language: Idris - Size: 189 KB - Last synced at: 20 days ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 2
hradecek/Lambda-Calculus-and-Combinators
Exercises and solutions on *Lambda Calculus* and *Combinators* topic
Size: 10.7 KB - Last synced at: about 1 year ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 1
Carnagion/heur
Metaheuristic and hyperheuristic library for Rust using an extensible and performant combinator-based approach.
Language: Rust - Size: 146 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0
freddycoppa/lambda-js
Lambda Calculus Interpreter
Language: JavaScript - Size: 43 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0
utshodebravestone/h2tml
Embedded HTML in Haskell
Language: Haskell - Size: 21.5 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
evansmal/pegpp
A PEG parser generator written in C++20.
Language: C++ - Size: 64.5 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
sohanemon/dragon-news
π postcss, tailwind
Language: JavaScript - Size: 1.2 MB - Last synced at: about 2 months ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
aripiprazole/plank2 π¦
π | Rewrite of Plank programming language in rust
Language: Rust - Size: 21.5 KB - Last synced at: 3 days ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0
lggruspe/genbu
Create composable CLIs using shell args parser combinators and type hints
Language: Python - Size: 140 KB - Last synced at: 12 days ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0
Tomboyo/Railway
How to re-implement `with` using combinators. For study purposes, not production!
Language: Elixir - Size: 34.2 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0
devkabiir/parsers Fork of polux/parsers
Parser Combinators for Dart. This library is heavily inspired by Parsec, a popular Haskell library
Language: Dart - Size: 438 KB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0
brucou/transducers.js Fork of jlongster/transducers.js
es6 port to : A small (3Kb) tree-shakeable library for generalized transformation of data (inspired by Clojure's transducers)
Language: JavaScript - Size: 213 KB - Last synced at: 4 days ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0
middle-ages/react-compinators
Component combinators - functional utilities for composing React components.
Language: TypeScript - Size: 670 KB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 0 - Forks: 0
colltoaction/mlir-inet-dialect Fork of llvm/llvm-project
Inet is an MLIR dialect for interaction nets
Language: LLVM - Size: 1.72 GB - Last synced at: 7 days ago - Pushed at: 21 days ago - Stars: 0 - Forks: 0
andjhop/llk
A parser combinator library for building LL(*) parsers for Go
Language: Go - Size: 11.7 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
smohekey/syntacks
An opinionated parser library for Rust
Language: Rust - Size: 33.2 KB - Last synced at: 12 days ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0
michael-0acf4/lambda-calculus π¦
Perform computation using purely abstract Ξ»-functions
Language: JavaScript - Size: 4.88 KB - Last synced at: 8 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0
AR2202/SKIing
Simple Interpreter for the SKI combinator calculus
Language: Haskell - Size: 21.5 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0
dnizzolo/ski
Explore combinatory logic
Language: Common Lisp - Size: 18.6 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
jbutcher5/haskell-lisp
A Scheme interpreter written in Haskell
Language: Haskell - Size: 17.6 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
Laugharne/rust_combinators
Combinators are higher-order functions that can combine or transform functions, enabling more abstract and concise code.
Size: 4.88 KB - Last synced at: 27 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
lsofiadb/Tribute-page
Tribute page for Charles Darwin to practice semantic HTML.
Language: HTML - Size: 154 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
ViviDiElle/css-combinators
Daniele: Ho cambiato qualche colore e font weight perchΓ© non vedevo bene il risultato.
Language: HTML - Size: 6.84 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
datashaman/logic
A monad and combinator library. Experimental.
Language: PHP - Size: 4.55 MB - Last synced at: 16 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
helvm/cosmopolitan-sk Fork of kspalaiologos/cosmopolitan-sk
SK calculus reducer in as many programming languages as possible.
Size: 1.43 MB - Last synced at: 12 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
mr-rampage/csharp-combinators
Experiments to understand and find practical use cases for combinators.
Language: C# - Size: 17.6 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
helvm/BruSKI Fork of NicklasBoto/BruSKI
"DeBruijn to SKI" Untyped language that compiles to Unlambda
Size: 557 KB - Last synced at: 12 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
helvm/introduction-to-combinators-and-lambda-calculus Fork of DataKinds/introduction-to-combinators-and-lambda-calculus
writeups from the book of the same name
Size: 3.91 KB - Last synced at: 12 months ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0
OmerKayaa/StringCombinationFinder
Word Searching Algorithm
Language: Java - Size: 103 KB - Last synced at: almost 2 years ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0
helvm/SKITypes Fork of adampalay/SKITypes
Implementing the SKI combinator calculus in Haskell's type system
Size: 5.86 KB - Last synced at: 12 months ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
pbaille/parsing-combinators
exploring parsing combinators in scheme
Language: Scheme - Size: 4.88 KB - Last synced at: about 1 month ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
tutorials/xml-pc
Code from https://bodil.lol/parser-combinators/
Language: Rust - Size: 84 KB - Last synced at: over 1 year ago - Stars: 0 - Forks: 0
