GitHub topics: functional-data-structure
arrow-kt/arrow
The perfect companion for your Kotlin journey - Inspired by functional, data-oriented and concurrent programming
Language: Kotlin - Size: 58.2 MB - Last synced at: about 9 hours ago - Pushed at: about 11 hours ago - Stars: 6,463 - Forks: 458
callius/target-kt
Target - Functional domain modeling in Kotlin
Language: Kotlin - Size: 252 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0
jdevuyst/ruminant
Swift persistent vectors à la Clojure
Language: Swift - Size: 70.3 KB - Last synced at: 27 days ago - Pushed at: over 5 years ago - Stars: 36 - Forks: 2
Anvell/either
Lightweight Either monad implementation
Language: Kotlin - Size: 284 KB - Last synced at: 7 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
eignnx/char-list
A persistent string type with the same API as a linked-list of characters.
Language: Rust - Size: 218 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
mitranim/emerge
Use plain JS types as immutable data, with efficient merging and memory sharing
Language: JavaScript - Size: 237 KB - Last synced at: 12 days ago - Pushed at: over 4 years ago - Stars: 23 - Forks: 4
FSUgenomics/SRSFN
SRSF framework for nucleosome positioning analysis
Language: PostScript - Size: 329 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
diana389/Intro-to-HASKELL
tema2-pp
Language: Haskell - Size: 351 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
alvarezpj/purely-functional-priority-queue
Priority queue developed using functional programming.
Language: Scheme - Size: 7.81 KB - Last synced at: about 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
vaedama/Scalgorythmia
Algorithms and Data Structures using Scala
Language: Scala - Size: 81.1 KB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 0
matteoantoci/fat-arrow-ts
Fat Arrow is a library for Typed Functional Programming in TypeScript compatible with Node.js and all major browsers.
Language: TypeScript - Size: 1020 KB - Last synced at: about 1 month ago - Pushed at: about 2 years ago - Stars: 4 - Forks: 0
vishallama/fds_ss20 Fork of nipkow/fds_ss20
Lecture course on verified Functional Data Structures
Size: 5.47 MB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0
archanpatkar/ChurchEncodings
λ Lambda Calculus Encodings
Language: Python - Size: 20.5 KB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 5 - Forks: 0
functional-things/functional-things
A TypeScript library to help with functional programming.
Language: TypeScript - Size: 1.92 MB - Last synced at: 20 days ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0
vmchale/linear-zipper
Zippers (a la Huet) in ATS
Language: ATS - Size: 12.7 KB - Last synced at: 8 months ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0
tchoutri/Zippy
Zippy is an Elixir library that implements various zipper data structures (lists, binary trees and forests)
Language: Elixir - Size: 27.3 KB - Last synced at: 7 months ago - Pushed at: over 8 years ago - Stars: 7 - Forks: 0
klntsky/purescript-difference-containers
Difference lists.
Language: PureScript - Size: 417 KB - Last synced at: 3 months ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0
adamshaylor/okasaki-rb-tree-js
An implementation of the Okasaki red-black tree in JavaScript
Language: JavaScript - Size: 133 KB - Last synced at: 26 days ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
