Top 3 Haskell Bound Projects

bound

2 121 4.2 Haskell

Combinators for manipulating locally-nameless generalized de Bruijn terms

Project mention: What's the state of the art wrt representing bound variables in syntax trees with binding? | /r/ProgrammingLanguages | 2023-10-27

First off, I am using Rust. I've begun by implementing an idea that is close in essence to bound, available in this playground. I believe that this is a good first step, but I am concerned with all the recursion leading to stack overflows and that analysing a term under a scope requires eliminating it, which in turn requires full tree traversals. There are ways to optimize the approach (such as caching variable occurrences in each scope node and skipping subtress when a variable I am looking for is not in it) but I wonder how far I can go with this approach and if there’s alternatives.

unbound-generics

1 55 6.3 Haskell

Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
InfluxDB

www.influxdata.com sponsored

Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
bound-gen

0 2 0.0 Haskell

Making bound play nice with monad-gen.

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020). The latest post mention was on 2023-10-27.