Paulo

Advanced
@pjcavalcanti

TypeChecker. A simple type checker in Haskell for the simply typed lambda calculus.

5

pjcavalcanti.github.io. SCSS

1

SynthArg. A library to produce synthetic argument search by rendering of formal logic proofs.

1

HVM3_nvim_highlighting. A minimal syntax highlighting for HVM3 in NeoVim

1

SimplexEmbeddingGPT. A Python implementation of the algorithm introduced in arXiv:2204.11905 [quant-ph] to find a simplex embedding for a (possibly depolarised) generalised probabilistic theory (GPT) fragment.

1

WitnessInformation. Monte Carlo simulation used in arXiv:2308.07744 [quant-ph], Information theoretical perspective on the method of Entanglement Witnesses.

1
6
Apply