Skip to content
View leana8959's full-sized avatar
🌳
I like trees
🌳
I like trees
58 followers · 221 following
  • France
  • 14:40 (UTC +01:00)

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Quickdraw

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Quickdraw

Block or report leana8959

Report abuse

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

Report abuse
leana8959/README.md

Hi there 👋

  • 🔭 I’m currently always working on my dotfiles.
  • 🌱 I’m currently learning parser combinators and random AST generation for fuzzing.
  • 💬 Haskell.
  • My projects have been moved to codeberg. Find me there with the same user handle.

Non exhaustive list of things I want to learn:

  • Agda, Idris and dependent typing
  • Coq
  • Isabelle
  • Finally finish reading TaPL

Pinned Loading

  1. vanilla-extracts/calc vanilla-extracts/calc Public template

    Calc: A Fully-Featured Configurable (mini) Rust Calculator

    Rust 8 4

  2. univ-rennes.typ univ-rennes.typ Public

    A customizable, non official typst template for University of Rennes

    Typst 1 1

  3. oxalica/nil oxalica/nil Public

    NIx Language server, an incremental analysis assistant for writing in Nix.

    Rust 1.8k 58

  4. flora-pm/flora-server flora-pm/flora-server Public

    A package index for the Haskell ecosystem

    JavaScript 148 46

  5. haskell/cabal haskell/cabal Public

    Official upstream development repository for Cabal and cabal-install

    Haskell 1.7k 722