functional-data-structure

There are 1 repository under functional-data-structure topic.

• arrow

  arrow-kt / arrow

  Λrrow - Functional companion to Kotlin's Standard Library

  arrowcontinuationscoroutinesdelimited-continuationsfor-comprehensionfp-typesfunctional-data-structurefunctional-programminghacktoberfestkotlinkotlin-dslkotlin-librarieskotlin-librarymonadsopticspolymorphismtypeclassestyped-lambda-calculus
  Language:Kotlin 5962

• jdevuyst / ruminant

  Swift persistent vectors à la Clojure

  swiftfunctional-data-structurepersistent-vectorspersistent-data-structure
  Language:Swift 37

• mitranim / emerge

  Use plain JS types as immutable data, with efficient merging and memory sharing

  dataimmutablefunctional-data-structurestructural-sharingfunctional-programming
  Language:JavaScript 23

• tchoutri / Zippy

  Zippy is an Elixir library that implements various zipper data structures (lists, binary trees and forests)

  zipperfunctional-data-structureelixir-lang
  Language:Elixir 7

• archanpatkar / ChurchEncodings

  λ Lambda Calculus Encodings

  functional-programmingfunctionslambda-calculuslambda-abstractionscurryingpythonfunctional-pythonbooleannumbersfunctional-data-structurecombinators
  Language:Python 6

• matteoantoci / fat-arrow-ts

  Fat Arrow is a library for Typed Functional Programming in TypeScript compatible with Node.js and all major browsers.

  typescriptfunctional-programmingmaybemaybe-monadmonadeithereither-monadadtalgebraic-data-typesarrowarrow-ktfunctional-data-structurefp-typestypeclassescategory-theory
  Language:TypeScript 4

• functional-things / functional-things

  A TypeScript library to help with functional programming.

  function-compositiontypescriptfunctional-programmingfunctional-opticstypesfunctional-data-structurefpts
  Language:TypeScript 2

• alvarezpj / purely-functional-priority-queue

  Priority queue developed using functional programming.

  functional-programmingpriority-queuefunctional-data-structurescheme
  Language:Scheme 1

• Anvell / either

  Lightweight Either monad implementation

  kotlin-libraryjvmfunctional-programmingmonadeither-monadkotlinfunctional-data-structure
  Language:Kotlin 1

• callius / target-kt

  Target - Functional domain modeling in Kotlin

  annotation-processordomain-driven-designdomain-modeldomain-modelingfunctional-data-structurefunctional-programmingkotlinkotlin-librarieskotlin-libraryvalue-object
  Language:Kotlin 1

• vaedama / Scalgorythmia

  Algorithms and Data Structures using Scala

  algorithmsdata-structuresscalafunctional-data-structurefunctional-programming
  Language:Scala 1

• vishallama / fds_ss20

  Lecture course on verified Functional Data Structures

  functional-data-structurefunctional-programmingisabelle-holproof-assistanttheorem-provingalgorithms-and-data-structures
  Language:Isabelle 1

• vmchale / linear-zipper

  Zippers (a la Huet) in ATS

  atszipperfunctional-data-structurelinear-typesdata-structureshuet
  Language:ATS 1

• eignnx / char-list

  A persistent string type with the same API as a linked-list of characters.

  data-structuresdynamic-arrayfunctional-data-structureimmutablelinked-listpersistent-data-structure
  Language:Rust 0

• FSUgenomics / SRSFN

  SRSF framework for nucleosome positioning analysis

  srsffunctional-data-analysisfunctional-data-structuregenomicsngs-analysisngs-pipelinengsnucleosome-positioningnucleosomesgene-expressionshape-analysis
  Language:PostScript 0

• adamshaylor / okasaki-rb-tree-js

  An implementation of the Okasaki red-black tree in JavaScript

  red-black-treefunctional-data-structurefunctional-javascriptimmutablebinary-search-tree
  Language:JavaScript

• diana389 / Intro-to-HASKELL

  tema2-pp

  functional-data-structurehaskell
  Language:Haskell

• klntsky / purescript-difference-containers

  Difference lists.

  purescriptdlistfunctional-data-structure
  Language:PureScript