|
Haskell |
4 |
haskell source code formatter |
Jan 13, 2022 |
|
Haskell |
685 |
haskell source code formatter |
Mar 11, 2023 |
|
Haskell |
24 |
Haskell source code formatter |
Oct 17, 2022 |
|
Haskell |
80 |
haskell source code visualizer |
May 22, 2023 |
|
Coq |
279 |
Convert Haskell source code to Coq source code |
Feb 13, 2023 |
|
Coq |
69 |
Convert Haskell source code to Coq source code. |
May 16, 2023 |
|
Haskell |
7 |
CircuitHub's Haskell source code formatter |
Jan 23, 2022 |
|
Shell |
45 |
Real World Haskell Source Code |
Feb 22, 2023 |
|
Haskell |
764 |
A formatter for Haskell source code |
Aug 26, 2022 |
|
Emacs Lisp |
31 |
A formatter for Haskell source code |
May 10, 2022 |
|
Vim script |
37 |
Plugin for formatting Haskell source code |
Feb 27, 2023 |
|
Haskell |
2 |
Haskell source code for maximilian-huber.de |
Mar 12, 2021 |
|
Haskell |
4 |
Convert Haskell source code to Template Haskell expressions using GHC's parser |
Sep 04, 2022 |
|
Haskell |
2 |
Introduce fresh variables into Haskell source code |
Dec 15, 2014 |
|
Haskell |
11 |
Tools to ease Haskell source code navigation |
Dec 23, 2021 |
|
Haskell |
11 |
Generate graphviz dot-code by analyzing Haskell source code |
Mar 01, 2020 |
|
Haskell |
119 |
Source Code from "Making Music with Haskell" video |
Sep 09, 2022 |
|
Haskell |
76 |
Search Haskell source code from the command line |
Aug 21, 2022 |
|
Haskell |
16 |
Source code for 'Beginning Haskell' by Alejandro Serrano Mena |
Jul 15, 2022 |
|
Haskell |
40 |
Source Code for 'Practical Haskell' by Alejandro Serrano Mena |
Jul 14, 2022 |
|
Haskell |
77 |
Library for generating Haskell source files and code fragments. |
Jun 17, 2022 |
|
Haskell |
8 |
haskell source code optimizer (do automatic renames, style change of haskell and cabal files) |
Dec 05, 2019 |
|
Haskell |
2 |
Highligt Haskell source |
Dec 05, 2019 |
|
Haskell |
4 |
Global haskell source code refactorings (e.g. move declarations between modules) |
Mar 10, 2022 |
|
Emacs Lisp |
2 |
Emacs flymake handler for checking Haskell source code with hlint |
Jun 08, 2019 |
|
Haskell |
5 |
Simple library to output haskell source code annotated with results |
Jan 20, 2020 |
|
None |
7 |
Open-source project suggestions powered by my sponsors. |
Nov 20, 2021 |
|
Haskell |
871 |
Haskell code prettifier |
Aug 03, 2022 |
|
Haskell |
2 |
Example Haskell code |
May 09, 2021 |
|
Haskell |
5 |
Haskell code snippets. |
Jan 18, 2020 |
|
Haskell |
13 |
Haskell module for parsing of Go source code, forked from Hackage |
Dec 16, 2021 |
|
Haskell |
3 |
Source code from The Haskell Road to Logic, Maths and Programming |
Sep 01, 2021 |
|
Haskell |
33 |
Source Code for 'Practical Web Development with Haskell' by Ecky Putrady |
May 14, 2022 |
|
None |
56 |
Open-source project suggestions powered by my GitHub sponsors |
Mar 07, 2023 |
|
Haskell |
2 |
Lexically search Haskell source files |
Dec 05, 2019 |
|
VimL |
2 |
Unicode cuteness for Haskell source |
May 10, 2017 |
|
Haskell |
6 |
Astrodynamics code for Haskell |
May 04, 2021 |
|
Haskell |
7 |
my haskell code snippets |
Apr 14, 2021 |
|
Haskell |
2 |
Just random haskell code |
Dec 27, 2020 |
|
HTML |
3 |
Miscellaneous Haskell code snippets. |
Mar 30, 2021 |
|
Haskell |
17 |
Easy entropy source for Haskell users. |
Nov 02, 2021 |
|
Haskell |
6 |
Markdown transpiler (source-to-source compiler) written in Haskell |
Apr 18, 2018 |
|
CSS |
25 |
Some suggestions on how to write golang code better. |
Apr 19, 2023 |
|
JavaScript |
3 |
Code completion and suggestions for JSDoc tags in VSCode |
Oct 31, 2020 |
|
Vue |
7 |
Finto-suggestions |
Mar 30, 2020 |
|
JavaScript |
15 |
projection suggestions |
May 10, 2022 |
|
None |
2 |
Develop With AI Powered Code Suggestions Using GitHub Copilot and VS Code |
May 02, 2023 |
|
None |
2 |
Develop With AI Powered Code Suggestions Using GitHub Copilot and VS Code |
Mar 08, 2024 |
|
Haskell |
221 |
Haskell/Java interop via inline Java code in Haskell modules. |
Aug 23, 2022 |
|
TypeScript |
432 |
VS Code extension for Haskell, powered by haskell-language-server |
Aug 11, 2022 |