Projects in Awesome Lists tagged with imscribe
A curated list of projects in awesome lists tagged with imscribe .
https://github.com/umpolungfish/p4rakernel
a fork of Lean 4 (v4.28.0) implementing a true paraconsistent type-theoretic kernel — the principle of explosion — "ex falso quodlibet" — is disabled at the kernel level.
belnap-logic dialetheia four-logic imscribe imscribing-grammar imscriptive paraconsistent-kernel paraconsistent-lean4 paraconsistent-logic
Last synced: 12 Jun 2026
https://github.com/umpolungfish/ig-pulse
Information propagation observatory - Maps the coupling structure between physical, computational, and financial systems using the Imscribing Grammar
coupling fear-and-greed fear-greed-index geophysics geospatial helios imscribe imscribing imscribing-grammar imscribing-grammatic imscription imscriptive information-extraction information-theory solar
Last synced: 25 Jun 2026