-
-
.emacs.d Public
My current Emacs config, It has only been tested on linux
-
scel Public
Forked from supercollider/scelSupercollider emacs package
Emacs Lisp UpdatedMay 28, 2025 -
-
-
HaskerNews Public
Small project to test scraping of the hacker news website with Haskell
Haskell Other UpdatedMar 9, 2023 -
liquidhaskell Public
Forked from ucsd-progsys/liquidhaskellLiquid Types For Haskell
Haskell BSD 3-Clause "New" or "Revised" License UpdatedOct 24, 2022 -
liquid-fixpoint Public
Forked from ucsd-progsys/liquid-fixpointHorn Clause Constraint Solving for Liquid Types
Haskell BSD 3-Clause "New" or "Revised" License UpdatedOct 20, 2022 -
1-pixel-wealth Public
Forked from EatTheRichTextFormat/1-pixel-wealthHTML GNU General Public License v3.0 UpdatedMay 9, 2020
{{ message }}