Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with cpressey-theory
A curated list of projects in awesome lists tagged with cpressey-theory .
https://github.com/cpressey/nested-modal-transducers
What do you get when you cross Statecharts with The Elm Architecture?
cpressey-theory hierarchical-state-machine nested-modal-transducers nested-state-machine nested-states purely-functional-data-structures reactive-programming-concepts reactive-theory state-machines statecharts the-elm-architecture uml-state-machine
Last synced: 15 Nov 2024
https://github.com/cpressey/destructorizers
The destructorizer for booleans is quite popular. It's called "if"
algebraic-data-types cpressey-theory destructorizers destructuring language-constructs language-design
Last synced: 15 Nov 2024
https://github.com/cpressey/lcf-style-nd
Exposition of an LCF-style theorem prover for propositional logic in a Natural Deduction system
cpressey-theory encapsulation lcf-style natural-deduction parse-dont-validate proof-checker proof-checking propositional-logic theorem-prover theorem-proving
Last synced: 15 Nov 2024
https://github.com/cpressey/ahead-of-time-eval
Aggressive constant folding + eval = hygienic macros
ahead-of-time constant-folding cpressey-theory eval hygienic hygienic-macros macro-system macros
Last synced: 15 Nov 2024