infinite-data-structure

Here are 5 public repositories matching this topic...

Bodigrim / infinite-list

Infinite lists aka streams

lists list haskell stream streams data-structures fusion infinite-lists infinite-data-structure infinite-list infinite-stream infinite-string infinite-series

Updated Aug 18, 2026
Haskell

Nλ is a simple functional programming language aimed at manipulating infinite, but first-order definable structures, such as the countably infinite clique graph or the set of all intervals with rational endpoints.

programming-language functional-programming smt-solver nominal-set infinite-data-structure nlambda

Updated Jan 6, 2026
Haskell

fariedabuzaid / AutStr

Star

Infinite data structures in python

algebra first-order-logic arithmetic infinite-data-structure group-theory-algorithms parameterized-complexity automatic-structures

Updated Aug 13, 2026
Python

massimo-nocentini / srfi-41st

Star

A Smalltalk port of https://srfi.schemers.org/srfi-41/srfi-41.html

srfi lazy-evaluation infinite-data-structure formal-power-series mcilroy

Updated Aug 25, 2023
Smalltalk

r8vnhill / root-of-haskell

Star

Haskell implementation of the square root series approximation

haskell math functional-programming infinite-data-structure

Updated Jun 29, 2020
Haskell

Add this topic to your repo

To associate your repository with the infinite-data-structure topic, visit your repo's landing page and select "manage topics."

Learn more

Navigation Menu

infinite-data-structure

Here are 5 public repositories matching this topic...

Bodigrim / infinite-list

szynwelski / nlambda

fariedabuzaid / AutStr

massimo-nocentini / srfi-41st

r8vnhill / root-of-haskell

Add this topic to your repo