Home Original page

dan323 - Overview

Skip to content

Navigation Menu

Sign in

Appearance settings

View dan323's full-sized avatar

Daniel dan323

  • Ocado Technologies
  • Barcelona, España

Block or report dan323

Hi there 👋

trophy

I am currently working on improveming my knowledge on how many widely used utilities work using codecrafters

Pinned Loading

  1. An attempt to scrap websites to compare prices for the same products

    Java

  2. IsarMathLib is a library of formalized mathematics for Isabelle/ZF.

    Isabelle 18 1

  3. A sistem for natural deduction

    Java 2 1

  4. Project to port functional concepts to Java

    Java 1