joanmontas · GitHub
Skip to content
View joanmontas's full-sized avatar
9 followers · 12 following

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Organizations

@UML-Cyber-Security

Block or report joanmontas

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse
joanmontas/README.md
  • 👋 Hi, I’m @joanmontas
  • 👀 I’m interested in Cybersecurity (SOC) and Software Engineering
  • 👀 In my free time I make DSL

Pinned Loading

  1. UMLisp UMLisp Public

    Subset of Common Lisp

    Haskell 4

  2. Satelite-Forward-Error-Correction Satelite-Forward-Error-Correction Public

    Satelite-Forward-Error-Correction: 'SFEC'

    C 2

  3. Differential-Calculus-Solver Differential-Calculus-Solver Public

    Denotational Differentiation Solver

    Python 1

  4. Purpl Purpl Public

    Typestate system capable of reasoning about purposes and data usage compliance

    Haskell

  5. UML-Cyber-Security/CCDC_Practice_Infrastructure UML-Cyber-Security/CCDC_Practice_Infrastructure Public

    This is a repository for the infrastructure we use to practice

    Jsonnet 9 7

  6. mcimini/lang-n-prove-state mcimini/lang-n-prove-state Public

    Lang-n-Prove: A Proof Language for Language Proofs

    OCaml