Skip to content
View pjcavalcanti's full-sized avatar
1 follower · 2 following

Block or report pjcavalcanti

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • HVM3_nvim_highlighting Public

    A minimal syntax highlighting for HVM3 in NeoVim

    Vim Script Updated Mar 31, 2025

  • HVM3 Public

    Forked from HigherOrderCO/HVM3

    HVM3

    Haskell MIT License Updated Mar 17, 2025

  • SimplexEmbeddingGPT Public

    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.

    Python MIT License Updated Feb 24, 2025

  • TermEnumerator Public

    A simple enumerator in Haskell of all terms for the untyped lambda calculus

    Haskell Updated Feb 12, 2025

  • TypeChecker Public

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

    Haskell 6 Updated Feb 9, 2025

  • pjcavalcanti.github.io Public

    SCSS Creative Commons Zero v1.0 Universal Updated Sep 29, 2024

  • blog Public

    JavaScript Updated Aug 27, 2024

  • todo_browser Public

    A todo list connected to an SQL database.

    JavaScript Updated Aug 20, 2024

  • tictactoe_browser Public

    A nice-looking Tic Tac Toe game implemented in HTML/CSS/JavaScript with all style from pure CSS.

    CSS Updated Aug 15, 2024

  • WitnessInformation Public

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

    Python 1 MIT License Updated Aug 10, 2024

  • SynthArg Public

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

    Python Updated Feb 22, 2024

  • tocha Public

    A toy deep learning library based on numpy with autograd and torch-like API, with correctness tested against torch.

    Python Updated Jun 23, 2023

  • fopnp Public

    Forked from brandon-rhodes/fopnp

    Foundations of Python Network Programming (Apress) — scripts and examples

    Python Updated Feb 16, 2016

  • molecular-dynamics-fys3150 Public archive

    Forked from andeplane/molecular-dynamics-fys3150
    C++ Updated Oct 10, 2014