Ailrun
A passionate programmer equipped with functional arms. Haskell IDE team member of @haskell, affilated with @haskellfoundation. AWS Scientist Intern 2022
CompLogic @ McGill UniversityMontreal, QC, Canada
Pinned Repositories
Ailrun.github.io
GitHub Pages for Ailrun
core-lang-haskell
Implementation for the book <Implementing functional languages: a tutorial>
magit-lfs
Git LFS for magit!
pile-of-characters
Various writings
rxpressive
Express meets RxJS.
typed-f
Typed functional programming utilities
Beluga
Contextual types meet mechanized metatheory!
McTT
A bottom-up approach to a verified implementation of MLTT
miniCUTE
Basic compiler for a simpler version of CUTE Lang
haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Ailrun's Repositories
Ailrun/magit-lfs
Git LFS for magit!
Ailrun/pile-of-characters
Various writings
Ailrun/lambda-cube
Haskell implementation of (some of) lambda cube calculi
Ailrun/satyros
SATyros, small SAT/SMT sovler library for step-by-step solving
Ailrun/tsdux
Type-safe redux utilities for TypeScript.
Ailrun/tsdux-observable
tsdux utilities for Observables
Ailrun/Floor1
Experimental (and basic) proof assistant with absolutely **no** elegant features.
Ailrun/ProofPool
Agda proofs for various topics
Ailrun/Ailrun.github.io
GitHub Pages for Ailrun
Ailrun/deducible
TypeScript library for logical system handling
Ailrun/haskell-language-server
Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.
Ailrun/learn-ocaml
A Web Application for Learning OCaml
Ailrun/miniCUTE
Minimal implementation of basic compiler in Haskell
Ailrun/plfa.github.io
An introduction to programming language theory in Agda
Ailrun/stylish-haskell
Haskell code prettifier
Ailrun/yet-another-emacs-settings
emacs settings for C, C++, html, node.js, ...
Ailrun/adjoint-meta-eclaps-2023
Ailrun/adjoint-meta-impl
Implementation of a polymorphic metaprogramming system with adjoint modalities
Ailrun/all-the-icons.el
A utility package to collect various Icon Fonts and propertize them within Emacs.
Ailrun/cpc
Ailrun/DefinitelyTyped
The repository for high quality TypeScript type definitions.
Ailrun/elevator-artifacts
Ailrun/Haskell-Kaleidoscope
Ailrun/HoTTEST-Summer-School
HoTTEST Summer School materials
Ailrun/KoreanLogicDay2024
KoreanLogicDay2024 slides
Ailrun/lambdacomp
Ailrun/lsp-haskell
lsp-mode :heart: haskell
Ailrun/media
Ailrun/opam-repository
Main public package repository for opam, the source package manager of OCaml.
Ailrun/sandbox
A secure process-level sandbox based on a ptrace jail