Replib: generic programming & Unbound: generic treatment of binders (by sweirich)

Unbound Alternatives

Similar projects and alternatives to unbound based on common topics and language

  • GitHub repo Schemer

  • GitHub repo CompCert

    The CompCert formally-verified C compiler

  • Scout APM

    Scout APM: A developer's best friend. Try free for 14-days. Scout APM uses tracing logic that ties bottlenecks to source code so you know the exact line of code causing performance issues and can get back to building a great product faster.

  • GitHub repo soyuz

  • GitHub repo Next.js

    The React Framework

  • GitHub repo next.js

    The React Framework [Moved to: https://github.com/vercel/next.js] (by zeit)

  • GitHub repo webpack

    A bundler for javascript and friends. Packs many modules into a few bundled assets. Code Splitting allows for loading parts of the application on demand. Through "loaders", modules can be CommonJs, AMD, ES6 modules, CSS, Images, JSON, Coffeescript, LESS, ... and your custom stuff.

  • GitHub repo rust

    Empowering everyone to build reliable and efficient software.

  • SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

NOTE: The number of mentions on this list indicates mentions on common posts. Hence, a higher number means a better unbound alternative or higher similarity.

Suggest an alternative to unbound


Posts where unbound has been mentioned. We have used some of these posts to build our list of alternatives and similar projects - the last one was on 2021-03-26.
  • Question about Unbound's FreshM/LFreshM (Compiler)
    reddit.com/r/haskell | 2021-03-26
    Here's an example of using LFresh for the simply-typed lambda calculus. https://github.com/sweirich/replib/blob/master/Unbound/Examples/STLC.hs Note that LFresh and FreshM are monads, so they will only guarantee fresh name generation while in the monad. contFreshM lets you "run" the monadic computation, so you'll only want to call it at the "top level" of your program.


Basic unbound repo stats
12 days ago

sweirich/replib is an open source project licensed under BSD 3-clause "New" or "Revised" License which is an OSI approved license.