Skip to content
View Ailrun's full-sized avatar
⚗️
Finding Vaccine for Metaprogramming
⚗️
Finding Vaccine for Metaprogramming
170 followers · 12 following

Achievements

Achievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Highlights

  • Pro

Organizations

@haskell @Beluga-lang @CUTE-Lang @SNU-Sigma @emotion-js @emacs-typescript @teaching-the-art-of-fp @MoebiusLang
Block or Report

Block or report Ailrun

Report abuse

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

Report abuse

Pinned Loading

  1. haskell/haskell-language-server haskell/haskell-language-server Public

    Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

    Haskell 2.6k 353

  2. Beluga-lang/McLTT Beluga-lang/McLTT Public

    A bottom-up approach to a verified implementation of MLTT

    Coq 8 1

  3. Beluga-lang/Beluga Beluga-lang/Beluga Public

    Contextual types meet mechanized metatheory!

    OCaml 183 16

  4. Ailrun.github.io Ailrun.github.io Public

    GitHub Pages for Ailrun

    TypeScript 1 1

  5. core-lang-haskell core-lang-haskell Public

    Implementation for the book <Implementing functional languages: a tutorial>

    Haskell 30 3

  6. CUTE-Lang/miniCUTE CUTE-Lang/miniCUTE Public

    Basic compiler for a simpler version of CUTE Lang

    Haskell 9 3