Blaisorblade / abtView external linksLinks
Implementing Abstract Binding Trees (in Scala, ...)
☆19Jan 28, 2016Updated 10 years ago
Alternatives and similar repositories for abt
Users that are interested in abt are comparing it to the libraries listed below
Sorting:
- Extensible protocols for Scala☆13Jul 8, 2016Updated 9 years ago
- Problem solving à la carte☆22Apr 11, 2022Updated 3 years ago
- Domain theory and denotational semantics in Coq☆10Dec 13, 2014Updated 11 years ago
- ☆13Sep 22, 2015Updated 10 years ago
- sbt APIs targeted for eventual inclusion in sbt core☆12Feb 21, 2015Updated 10 years ago
- Alternative Core language for GHC plugins☆39Feb 15, 2016Updated 10 years ago
- Directed type theory for formal category theory☆17Apr 7, 2017Updated 8 years ago
- Generalized recursion for Scalameta. And a Scala template tool.☆17Oct 11, 2017Updated 8 years ago
- migrated to git.rossabaker.com☆16Sep 4, 2025Updated 5 months ago
- Data structure experimentation in scala☆15May 13, 2015Updated 10 years ago
- Invertible syntax and partial isomorphisms for Scala☆31Nov 28, 2017Updated 8 years ago
- Intrinsic Verification of Formal Grammar Theory☆27Nov 22, 2025Updated 2 months ago
- Scala implementation of "Freer Monads, More Extensible Effects" - see http://okmij.org/ftp/Haskell/extensible/more.pdf☆49Jan 8, 2025Updated last year
- A playground for type theory implementations in Racket☆20Dec 2, 2015Updated 10 years ago
- Formalization of Opetopes and Opetopic Sets in Agda☆18Dec 15, 2016Updated 9 years ago
- Scala collection views meet Transducers hype☆41Oct 13, 2015Updated 10 years ago
- Web based opetopic editor☆36Oct 21, 2024Updated last year
- General, extensible effect monad for Scala with message-passing semantics☆38Sep 16, 2017Updated 8 years ago
- ☆92Nov 13, 2015Updated 10 years ago
- ☆84Mar 22, 2020Updated 5 years ago
- Pure Functional SQL generation.☆40Oct 5, 2018Updated 7 years ago
- A dependently typed programming language, and verification tool☆27Apr 3, 2016Updated 9 years ago
- A tiny embedded scripting language implemented in Scala.☆25Jan 11, 2019Updated 7 years ago
- A library for developing languages with scoped binders (like forall or lambda).☆28Aug 21, 2018Updated 7 years ago
- (the first half of) an ML compiler☆10Sep 6, 2014Updated 11 years ago
- Random Scala thought experiments and miscellany.☆11Aug 24, 2016Updated 9 years ago
- A Functional Reactive Programming framework for Scala☆13Mar 12, 2013Updated 12 years ago
- ☆10Feb 18, 2016Updated 9 years ago
- Proof-of-concept Prolog compiler that compiles down to Scala implicits.☆20Feb 2, 2016Updated 10 years ago
- A language-integrated proof assistant, for and in Racket☆39Aug 26, 2016Updated 9 years ago
- A general monad for managing stacking effects☆205Dec 12, 2016Updated 9 years ago
- Commutative Applicatives and Semigroups☆31Apr 30, 2018Updated 7 years ago
- Extensible Free Monad Effects☆15Mar 16, 2021Updated 4 years ago
- being an implementation of the calculus of constructions☆17Mar 9, 2023Updated 2 years ago
- Monad and transformer for deferred-effect pure prompt-response queries☆12Jun 28, 2019Updated 6 years ago
- an experiment in presenting code.☆14Aug 11, 2020Updated 5 years ago
- Type-Theory in Sequent Calculus☆14Jul 30, 2015Updated 10 years ago
- A reimplementation of `Data.IntMap` that uses minimum and maximum bounds on subtrees instread of bit prefixes.☆21Nov 26, 2023Updated 2 years ago
- being the materials for CS410 Advanced Functional Programming in the 2015/16 session☆40May 24, 2016Updated 9 years ago