14 skills found
jsiek / Abstract Binding TreesAbstract binding trees (abstract syntax trees plus binders), as a library in Agda
brendanzab / MonikerAutomagical variable binding library for Rust
willcrichton / RabbotAbstract binding tree code generator
shonfeder / Um AbtAn OCaml library implementing unifiable abstract binding trees (UABTs)
robsimmons / AbbotGeneration of abstract binding trees
Blaisorblade / AbtImplementing Abstract Binding Trees (in Scala, ...)
typelift / ValenceAbstract Binding Trees
jonsterling / Hs AbtType safe abstract binding trees for Haskell, using Vinyl
jonsterling / Sml Modernized AlgolHarper's Modernized ALGOL in SML using multi-sorted nominal abstract binding trees
tel / Hs ZabtSimple-minded abstract binding trees (Haskell)
slamdata / Scala AbtAbstract Binding Trees in Scala
jonsterling / Agda AbtAbstract binding trees in Agda
tel / Ocaml AbtAbstract binding trees
chrisamaphone / Abstract Pointer Treesabstract binding trees in c, with pointers
