Skip to content
View Lorenzobattistela's full-sized avatar
110 followers · 80 following

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx3Achievement: YOLOAchievement: Quickdraw

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx3Achievement: YOLOAchievement: Quickdraw

Highlights

  • Pro

Block or report Lorenzobattistela

Report abuse

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

Report abuse
Lorenzobattistela/README.md

Pinned Loading

  1. agda-check agda-check Public

    Check agda commands from your terminal

    JavaScript 3 3

  2. VictorTaelin/AI-scripts VictorTaelin/AI-scripts Public

    Some handy AI scripts

    TypeScript 639 54

  3. HigherOrderCO/Kind HigherOrderCO/Kind Public

    A modern proof language

    Haskell 3.7k 147

  4. mips-assembly-decoder-encoder mips-assembly-decoder-encoder Public

    C 2

  5. HigherOrderCO/HVM3 HigherOrderCO/HVM3 Public

    HVM3

    Haskell 270 26

  6. HigherOrderCO/Bend2 HigherOrderCO/Bend2 Public

    Bend2 - WIP

    Haskell 210 13