|
Haskell |
4 |
haskell source code formatter |
Jan 13, 2022 |
|
Haskell |
1311 |
Haskell source code suggestions |
Oct 19, 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 |
|
Python |
7 |
Extra source code navigation hotkeys |
Jul 27, 2021 |
|
CSS |
2 |
Responsive website navigation too ease. |
Oct 20, 2022 |
|
Haskell |
7 |
CircuitHub's Haskell source code formatter |
Jan 23, 2022 |
|
Shell |
45 |
Real World Haskell Source Code |
Feb 22, 2023 |
|
Haskell |
3 |
:saxophone: test Haskell with ease |
Apr 22, 2020 |
|
Go |
2 |
navigation service for C source code |
May 30, 2020 |
|
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 |
|
Emacs Lisp |
47 |
Emacs - History utility for source code navigation. |
Jul 24, 2022 |
|
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 |
Generate graphviz dot-code by analyzing Haskell source code |
Mar 01, 2020 |
|
Pascal |
3 |
FreePascalCompiler tools source code. |
Mar 17, 2022 |
|
Haskell |
2 |
haskell APRS tools |
Oct 22, 2021 |
|
Haskell |
2 |
Random Haskell Tools |
Dec 05, 2019 |
|
PHP |
7323 |
The Debug component provides tools to ease debugging PHP code. |
Aug 13, 2022 |
|
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 |
|
Go |
3 |
Source code of Liteloader Tools |
Apr 26, 2022 |
|
C# |
2 |
Reverse engineered tools source code. |
Mar 25, 2022 |
|
Pascal |
2 |
Veit Kannegieser tools source code |
May 08, 2020 |
|
CSS |
8 |
Source code for our responsive side navigation bar tutorial |
May 11, 2020 |
|
Shell |
10 |
⚙️ Zsh Navigation Tools |
Jun 15, 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 |
15 |
Wrap up Haskell tools |
Sep 15, 2022 |
|
Haskell |
12 |
Handy-dandy Haskell tools. |
May 31, 2022 |
|
Haskell |
2 |
tribial tools for haskell |
Jan 01, 2020 |
|
Haskell |
5 |
Haskell Deep Zoom Tools |
Nov 14, 2019 |
|
None |
2 |
Developer tools for Haskell |
Sep 06, 2023 |
|
Haskell |
2 |
Highligt Haskell source |
Dec 05, 2019 |
|
None |
4 |
Tools for manipulating C source code. |
Dec 26, 2013 |
|
Java |
11 |
andaroid build-tools d8 source code |
Feb 03, 2023 |
|
R |
4 |
Source code for OJBC analytics tools |
Sep 10, 2021 |
|
TypeScript |
49 |
Web Application Keyboard Navigation Tools |
Jul 11, 2022 |
|
JavaScript |
2 |
A Minimalist JavaScript List Pager (ease navigation of long lists) |
Oct 15, 2020 |
|
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 |