Skip to content
View melembroucarlitos's full-sized avatar
2 followers · 2 following

Achievements

Achievement: Pull Sharkx2

Achievements

Achievement: Pull Sharkx2

Block or report melembroucarlitos

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

Pinned Loading

  1. Tao_Analysis-LEAN Tao_Analysis-LEAN Public

    ormalization of the textbooks Analysis_1 & Analysis_2 by Terence Tao in the LEAN programming language

    TypeScript 4 1

  2. cycles cycles Public

    A fictional ecommerce bike store

    JavaScript

  3. haskell haskell Public

    Notes for an ecourse on Haskell

  4. LMC LMC Public

    Experiments exploring path dependence in LLM SFT through the lens of LMC

  5. muse muse Public

    A real time turn based musical collaboration platform

    TypeScript

  6. adamimos/epsilon-transformers adamimos/epsilon-transformers Public

    epsilon machines and transformers!

    Python 24 6