functional-data-structure

There are 2 repositories under functional-data-structure topic.

arrow
arrow-kt / arrow
Λrrow - Functional companion to Kotlin's Standard Library
arrow continuations coroutines delimited-continuations for-comprehension fp-types functional-data-structure functional-programming hacktoberfest kotlin kotlin-dsl kotlin-libraries kotlin-library monads optics polymorphism typeclasses typed-lambda-calculus
Language:Kotlin 6182
jdevuyst / ruminant
Swift persistent vectors à la Clojure
swift functional-data-structure persistent-vectors persistent-data-structure
Language:Swift 36
mitranim / emerge
Use plain JS types as immutable data, with efficient merging and memory sharing
data immutable functional-data-structure structural-sharing functional-programming
Language:JavaScript 23
tchoutri / Zippy
Zippy is an Elixir library that implements various zipper data structures (lists, binary trees and forests)
zipper functional-data-structure elixir-lang
Language:Elixir 7
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
matteoantoci / fat-arrow-ts
Fat Arrow is a library for Typed Functional Programming in TypeScript compatible with Node.js and all major browsers.
typescript functional-programming maybe maybe-monad monad either either-monad adt algebraic-data-types arrow arrow-kt functional-data-structure fp-types typeclasses category-theory
Language:TypeScript 4
functional-things / functional-things
A TypeScript library to help with functional programming.
fp function-composition functional-data-structure functional-optics functional-programming ts types typescript
Language:TypeScript 2
alvarezpj / purely-functional-priority-queue
Priority queue developed using functional programming.
functional-programming priority-queue functional-data-structure scheme
Language:Scheme 1
Anvell / either
Lightweight Either monad implementation
kotlin-library jvm functional-programming monad either-monad kotlin functional-data-structure
Language:Kotlin 1
callius / target-kt
Target - Functional domain modeling in Kotlin
annotation-processor domain-driven-design domain-model domain-modeling functional-data-structure functional-programming kotlin kotlin-libraries kotlin-library value-object
Language:Kotlin 1
vaedama / Scalgorythmia
Algorithms and Data Structures using Scala
algorithms data-structures scala functional-data-structure functional-programming
Language:Scala 1
vishallama / fds_ss20
Lecture course on verified Functional Data Structures
functional-data-structure functional-programming isabelle-hol proof-assistant theorem-proving algorithms-and-data-structures
Language:Isabelle 1
vmchale / linear-zipper
Zippers (a la Huet) in ATS
ats zipper functional-data-structure linear-types data-structures huet
Language:ATS 1
eignnx / char-list
A persistent string type with the same API as a linked-list of characters.
data-structures dynamic-array functional-data-structure immutable linked-list persistent-data-structure
Language:Rust 0
FSUgenomics / SRSFN
SRSF framework for nucleosome positioning analysis
srsf functional-data-analysis functional-data-structure genomics ngs-analysis ngs-pipeline ngs nucleosome-positioning nucleosomes gene-expression shape-analysis
Language:PostScript 0
adamshaylor / okasaki-rb-tree-js
An implementation of the Okasaki red-black tree in JavaScript
binary-search-tree functional-data-structure functional-javascript immutable red-black-tree
Language:JavaScript
diana389 / Intro-to-HASKELL
tema2-pp
functional-data-structure haskell
Language:Haskell
klntsky / purescript-difference-containers
Difference lists.
dlist functional-data-structure purescript
Language:PureScript