EncodePanda
Follow
-
rust-web Public
Forked from jdegoes/rust-webThe materials for the workshop, Introduction to Rust Web Programming.
Rust UpdatedMay 10, 2024 -
my_emacs_d Public
My Emacs configuration, the way I like it
-
feedback Public
Forked from NorfairKing/feedbackDeclarative feedback loop manager
Haskell GNU General Public License v3.0 UpdatedJan 24, 2023 -
too-many-lists Public
https://rust-unofficial.github.io/too-many-lists/index.html
Rust UpdatedNov 17, 2022 -
ghc-proposals Public
Forked from ghc-proposals/ghc-proposalsProposed compiler and language changes for GHC and GHC/Haskell
Python UpdatedSep 7, 2022 -
hedgehog-golden Public
Forked from maybe-hedgehog-later/hedgehog-goldenA project for hedgehog golden testing
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJun 20, 2022 -
danalib Public
Forked from ArdanaLabs/danalibUseful library functions for various functionality at Ardana
Nix MIT License UpdatedApr 7, 2022 -
scrive-nix-workshop Public
Forked from scrive/nix-workshopNix Workshop Tutorials
JavaScript Other UpdatedJun 18, 2021 -
stylish-haskell Public
Forked from haskell/stylish-haskellHaskell code prettifier
Haskell Other UpdatedApr 26, 2021 -
-
CreateLink Public
Forked from ku/CreateLinkMake Link alternative to chrome
JavaScript MIT License UpdatedApr 25, 2021 -
-
-
-
-
-
getting-acquainted-with-lens Public
-
-
hlint Public
Forked from ndmitchell/hlintHaskell source code suggestions
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMay 20, 2020 -
haskell-language-server Public
Forked from haskell/haskell-language-serverIntegration point for ghcide and haskell-ide-engine. One IDE to rule them all.
Haskell Apache License 2.0 UpdatedMay 11, 2020 -
-
haskell-ide-engine Public
Forked from haskell/haskell-ide-engineThe engine for haskell ide-integration. Not an IDE
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMar 12, 2020 -
bp-servant-polysemy-todo-app Public
Code + source material to a blog post about writing TODO app in Haskell using Servant and Polysemy
-
-
-
company-mode Public
Forked from company-mode/company-modeModular in-buffer completion framework for Emacs
Emacs Lisp UpdatedOct 29, 2019 -
lw2019-generics-workshop Public
Forked from VictorCMiraldo/lw2019-generics-workshopContains exercises for the workshop in generic programming at Lambda World 2019
TeX UpdatedOct 16, 2019 -
-
-
nix-pills-pdf Public
PDF version of NixPills available at https://nixos.org/nixos/nix-pills/
UpdatedSep 28, 2019