Immortalin / slate-operational-transform Star 36 Code Issues Pull requests Slate Operational Transform Demo (used in production at Narration Box) sharedb crdt operational-transformation google-wave collaborative-editing operational-transform semilattice slatejs slate-editor Updated Aug 1, 2020 JavaScript
Risto-Stevcev / idris-heyting-algebra Sponsor Star 5 Code Issues Pull requests Interfaces for heyting algebras and verified bounded join and meet semilattices algebra semilattices idris join lattice algebras meet lattices heyting-algebras heyting semilattice bounded Updated Nov 17, 2019 Idris
jvalinsky / haskell-english-fragment Star 1 Code Issues Pull requests Modeling plurals, mass terms of fragment of English in Haskell haskell logic linguistics semilattice computational-semantics Updated Dec 26, 2019 Haskell
wendlerc / dlsp-sampling Star 0 Code Issues Pull requests A minimal implementation accompaning the paper "Sampling Signals on Meet/Join Lattices" to reproduce the results. processing graph join signal lattice meet algebraic semilattice Updated Oct 26, 2020 Jupyter Notebook
Risto-Stevcev / purescript-kleene-logic Sponsor Star 0 Code Issues Pull requests Kleene Logic in purescript logic lattice semilattice kleene many-valued-logic Updated Aug 21, 2017 PureScript