Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: combinators

dnizzolo/ski

Explore combinatory logic

Language: Common Lisp - Size: 18.6 KB - Last synced: about 8 hours ago - Pushed: about 9 hours ago - Stars: 0 - Forks: 0

raymonddeng99/combinators

Symbolic combinators in several languages

Language: C++ - Size: 297 KB - Last synced: about 22 hours ago - Pushed: about 22 hours ago - Stars: 0 - Forks: 0

jamesrweb/elm-combinators

A combinatory logic library for ELM.

Language: Elm - Size: 9.77 KB - Last synced: 1 day ago - Pushed: 1 day ago - Stars: 0 - Forks: 0

aripiprazole/plank2 πŸ“¦

πŸ“œ | Rewrite of Plank programming language in rust

Language: Rust - Size: 21.5 KB - Last synced: 2 days ago - Pushed: almost 2 years ago - Stars: 1 - Forks: 0

AR2202/SKIing

Simple Interpreter for the SKI combinator calculus

Language: Haskell - Size: 18.6 KB - Last synced: 5 days ago - Pushed: 5 days ago - Stars: 0 - Forks: 0

writeonly/catculator

Lambda Calculus Calculator and Combinators Calculus Calculator with Portable Scala Cats and other TypeLeves libraries

Language: Scala - Size: 165 KB - Last synced: 6 days ago - Pushed: 7 days ago - Stars: 3 - Forks: 0

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: 218 KB - Last synced: 15 days ago - Pushed: 9 months ago - Stars: 1 - Forks: 0

datashaman/logic

A monad and combinator library. Experimental.

Language: PHP - Size: 4.55 MB - Last synced: 20 days ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

a-synchronous/rubico

[a]synchronous functional programming

Language: JavaScript - Size: 3.58 MB - Last synced: 30 days ago - Pushed: about 2 months ago - Stars: 267 - Forks: 17

norskeld/sigma

TypeScript parser combinator library for building fast and convenient parsers.

Language: TypeScript - Size: 1.81 MB - Last synced: 7 days ago - Pushed: about 1 month ago - Stars: 24 - Forks: 3

jbutcher5/haskell-lisp

A Scheme interpreter written in Haskell

Language: Haskell - Size: 17.6 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - 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: about 1 month ago - Pushed: almost 3 years ago - Stars: 3 - Forks: 0

mgadda/swift-parse

A small parser combinator library written in Swift 5

Language: Swift - Size: 101 KB - Last synced: 11 days ago - Pushed: about 1 month ago - Stars: 4 - Forks: 2

glennsl/rescript-json-combinators

Combinator library for JSON decoding and encoding.

Language: ReScript - Size: 52.7 KB - Last synced: 8 days ago - Pushed: 3 months ago - Stars: 42 - Forks: 4

alllex/parsus

Parser-combinators with Multiplatform Kotlin Coroutines

Language: Kotlin - Size: 538 KB - Last synced: 3 months ago - Pushed: 4 months ago - Stars: 133 - Forks: 4

hradecek/Lambda-Calculus-and-Combinators

Exercises and solutions on *Lambda Calculus* and *Combinators* topic

Size: 10.7 KB - Last synced: about 1 month ago - Pushed: over 6 years ago - Stars: 2 - Forks: 1

tudo-seal/CLS-CAD

Automated CAD assembly generation based on Combinatory Logic Synthesis.

Language: Python - Size: 3.14 MB - Last synced: 23 days ago - Pushed: 23 days ago - Stars: 9 - Forks: 2

glebec/lambda-talk

A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS

Language: JavaScript - Size: 448 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 482 - Forks: 40

finchers-rs/finchers πŸ“¦

A combinator library for building asynchronous HTTP services

Language: Rust - Size: 2.99 MB - Last synced: 19 days ago - Pushed: about 5 years ago - Stars: 57 - Forks: 2

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: 3 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0

SystemsBioinformatics/parcr

Construct parser combinators in R

Language: HTML - Size: 444 KB - Last synced: 9 days ago - Pushed: about 1 month ago - Stars: 3 - Forks: 0

afmika/lambda-calculus

Perform computation using purely abstract Ξ»-functions

Language: JavaScript - Size: 2.93 KB - Last synced: 4 months ago - Pushed: 9 months ago - Stars: 2 - Forks: 0

hedgehogqa/fsharp-hedgehog-experimental

Hedgehog with batteries included: Auto-generators, extra combinators, and more.

Language: F# - Size: 446 KB - Last synced: 21 days ago - Pushed: almost 2 years ago - Stars: 17 - Forks: 8

okneniz/parsec

Golang parser combinator library inspired by haskell parsec.

Language: Go - Size: 172 KB - Last synced: 8 months ago - Pushed: 8 months ago - Stars: 2 - Forks: 0

appliedblockchain/assert-combinators

Functional assertion combinators.

Language: TypeScript - Size: 253 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 23 - Forks: 2

utshodebravestone/h2tml

Embedded HTML in Haskell

Language: Haskell - Size: 21.5 KB - Last synced: 4 months ago - Pushed: 8 months ago - Stars: 1 - Forks: 0

naderghanbari/cl-scala

Simple Combinatory Logic and Lambda Calculus in Scala

Language: Scala - Size: 304 KB - Last synced: 6 months ago - Pushed: about 5 years ago - Stars: 2 - Forks: 0

evansmal/pegpp

A PEG parser generator written in C++20.

Language: C++ - Size: 64.5 KB - Last synced: 9 months ago - Pushed: 9 months ago - Stars: 1 - Forks: 0

astynax/elm-charart

A small set of combinators for the ASCII-Art generation.

Language: Elm - Size: 29.3 KB - Last synced: 10 months ago - Pushed: over 2 years ago - Stars: 2 - Forks: 0

OmerKayaa/StringCombinationFinder

Word Searching Algorithm

Language: Java - Size: 103 KB - Last synced: 10 months ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

tkaden4/ununknown

Typesafe data validation combinators for typescript/javascript.

Language: TypeScript - Size: 855 KB - Last synced: 23 days ago - Pushed: over 1 year ago - Stars: 4 - Forks: 0

helvm/heltc

πŸŽ“ 🏫 HelTC - Haskellish Esoteric Lambda True Calculator to Esoteric Languages implemented in Haskell

Language: Haskell - Size: 893 KB - Last synced: 29 days ago - Pushed: 9 months ago - Stars: 5 - 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: 29 days ago - Pushed: over 2 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: 29 days ago - Pushed: over 3 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: 29 days ago - Pushed: about 5 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: 29 days ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

kongware/ftor

ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.

Language: JavaScript - Size: 1.09 MB - Last synced: 24 days ago - Pushed: about 6 years ago - Stars: 44 - Forks: 1

eugeneia/soundlab

Lazy signal synthesis based on combinators.

Language: Common Lisp - Size: 1.43 MB - Last synced: 9 months ago - Pushed: almost 9 years ago - Stars: 3 - Forks: 0

maxdeliso/typed-ski

SKI combinators in Typescript

Language: TypeScript - Size: 299 KB - Last synced: 18 days ago - Pushed: 5 months ago - Stars: 6 - Forks: 0

jamesrweb/elm-aviary

An elm implementation of the birds from combinatory logic.

Language: Elm - Size: 15.6 KB - Last synced: 10 months ago - Pushed: over 1 year ago - Stars: 1 - Forks: 0

lsofiadb/Tribute-page

Tribute page for Charles Darwin to practice semantic HTML.

Language: HTML - Size: 154 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

urbandrone/futils

Utilities for generic functional programming

Language: JavaScript - Size: 9.58 MB - Last synced: 19 days ago - Pushed: about 1 year ago - Stars: 22 - Forks: 0

i-am-tom/neopreen πŸ“¦

A formatting library to complement the neo4j-driver package.

Language: JavaScript - Size: 11.7 KB - Last synced: 5 months ago - Pushed: over 3 years ago - Stars: 3 - Forks: 2

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: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

sohanemon/dragon-news

πŸš€ postcss, tailwind

Language: JavaScript - Size: 1.2 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 1 - Forks: 0

michpara/CSI3120-Programming-Language-Concepts

Labs and Assignments for Programming Language Concepts

Language: OCaml - Size: 50.8 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 2 - Forks: 2

archanpatkar/ChurchEncodings

Ξ» Lambda Calculus Encodings

Language: Python - Size: 20.5 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 5 - Forks: 0

1Computer1/hectoparsec

Flexible and powerful parser combinators for Haskell

Language: Haskell - Size: 482 KB - Last synced: 4 months ago - Pushed: about 2 years ago - Stars: 6 - 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: about 16 hours ago - Pushed: over 5 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: about 2 months ago - Pushed: almost 3 years ago - Stars: 1 - Forks: 0

fcracker79/pycomb

Tcomb port for Python 3

Language: Python - Size: 71.3 KB - Last synced: 15 days ago - Pushed: over 3 years ago - Stars: 11 - Forks: 0

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: 23 days ago - Pushed: over 6 years ago - Stars: 9 - Forks: 0

deviousasti/FSM

Minimalist statemachine library for F#

Language: F# - Size: 105 KB - Last synced: about 1 year ago - Pushed: over 11 years ago - Stars: 8 - Forks: 0

mr-rampage/csharp-combinators

Experiments to understand and find practical use cases for combinators.

Language: C# - Size: 17.6 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - 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: about 1 year ago - Pushed: about 5 years ago - Stars: 1 - Forks: 0

neu-rah/paco

JavaScript monadic parser combinators

Language: JavaScript - Size: 423 KB - Last synced: 22 days ago - Pushed: over 3 years ago - Stars: 2 - Forks: 0

Tomboyo/Railway

How to re-implement `with` using combinators. For study purposes, not production!

Language: Elixir - Size: 34.2 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 1 - 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: 22 days ago - Pushed: over 6 years ago - Stars: 7 - Forks: 0

jutaro/YCombinator

Excercises from riddle book "To mock a Mockingbird"

Language: Idris - Size: 189 KB - Last synced: 12 months ago - Pushed: over 5 years ago - Stars: 2 - Forks: 2

pbaille/parsing-combinators

exploring parsing combinators in scheme

Language: Scheme - Size: 4.88 KB - Last synced: about 1 month ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

macabeus/ElixirRegexpParser

A simple project to parse regexp with parser combinator

Language: Elixir - Size: 13.7 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 3 - Forks: 1