Skip to content
View daniele-bolla's full-sized avatar
17 followers · 110 following
  • London
  • 18:58 (UTC +01:00)

Achievements

Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Block or report daniele-bolla

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.

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
daniele-bolla/README.md

Pinned Loading

  1. hackernews-topstories hackernews-topstories Public

    Experiment with Async Generators, Intersection Observer Api and Template Litteral HTML (as a simple virtual DOM)

    JavaScript

  2. vue_html_highlight vue_html_highlight Public

    A Vue 2 experiment with for find and replace an HTML content ( escaping all tags ecc). Structured in a very composable way.

    Vue

  3. math-applets math-applets Public

    interactive math applets

    TypeScript 2

  4. intro_to_formal_math_in_lean intro_to_formal_math_in_lean Public

    Introduction to formal mathematics in Lean with an example in topology

    TeX 1